diff -r 39e05601faeb -r 09821ca262d3 Admin/lib/Tools/build_setup
--- a/Admin/lib/Tools/build_setup	Sat Jul 17 21:31:15 2021 +0200
+++ b/Admin/lib/Tools/build_setup	Sat Jul 17 21:40:57 2021 +0200
@@ -73,8 +73,8 @@
 
 for SRC in "${SOURCES[@]}"
 do
-  ARGS["${#ARGS[@]}"]="$(platform_path "$ISABELLE_HOME/src/Tools/Setup/isabelle/setup/$SRC")"
-  cp "$ISABELLE_HOME/src/Tools/Setup/isabelle/setup/$SRC" "$SOURCE_DIR"
+  ARGS["${#ARGS[@]}"]="$(platform_path "$ISABELLE_HOME/src/Tools/Setup/src/$SRC")"
+  cp "$ISABELLE_HOME/src/Tools/Setup/src/$SRC" "$SOURCE_DIR"
   echo >> "$BUILD_PROPS" " \\"
   echo -n >> "$BUILD_PROPS" "  src/$SRC"
 done