diff -r cd84e58aed26 -r dabe295c3f62 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Wed Apr 14 20:53:28 2021 +0200
+++ b/src/Pure/Admin/build_release.scala	Wed Apr 14 21:15:24 2021 +0200
@@ -386,9 +386,9 @@
       val archive_ident =
         Isabelle_System.with_tmp_dir("build_release")(tmp_dir =>
           {
-            val getsettings = release.isabelle + Path.explode("lib/scripts/getsettings")
+            val isabelle_id = release.isabelle + Path.explode("etc/ISABELLE_ID")
             execute_tar(tmp_dir, "-xzf " +
-              File.bash_path(release.isabelle_archive) + " " + File.bash_path(getsettings))
+              File.bash_path(release.isabelle_archive) + " " + File.bash_path(isabelle_id))
             Isabelle_System.isabelle_id(root = tmp_dir + release.isabelle)
           })