Admin/lib/Tools/build_setup

--- a/Admin/lib/Tools/build_setup	Thu Jul 01 13:46:42 2021 +0200
+++ b/Admin/lib/Tools/build_setup	Thu Jul 01 14:06:20 2021 +0200
@@ -53,7 +53,7 @@
 declare -a ARGS=("-Xlint:unchecked")
 for SRC in "${SOURCES[@]}"
 do
-  ARGS["${#ARGS[@]}"]="$(platform_path "$ISABELLE_HOME/src/Tools/Setup/src/isabelle/setup/$SRC")"
+  ARGS["${#ARGS[@]}"]="$(platform_path "$ISABELLE_HOME/src/Tools/Setup/isabelle/setup/$SRC")"
 done
 
 isabelle_jdk javac -d "$TARGET_DIR" "${ARGS[@]}" || \