tuned;

--- a/Admin/setup	Sun Mar 28 12:07:46 2021 +0200
+++ b/Admin/setup	Sun Mar 28 12:08:43 2021 +0200
@@ -143,11 +143,11 @@
     fail "Missing file \"$VERSION_PATH\""
   fi
 
+  "$ISABELLE_HOME/bin/isabelle" components -I || exit "$?"
+
   export LANG=C
   export HGPLAIN=
 
-  "$ISABELLE_HOME/bin/isabelle" components -I || exit "$?"
-
   #Atomic exec: avoid inplace update of running script!
   export CLEAN_FORCE CLEAN_CHECK REV ISABELLE_REPOS BUILD_OPTIONS
   exec bash -c '