diff -r 597059a44d6f -r ce3409dfb18c src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Fri Jan 10 15:42:13 2020 +0100
+++ b/src/Pure/Admin/build_release.scala	Fri Jan 10 16:37:47 2020 +0100
@@ -509,10 +509,9 @@
             File.write(isabelle_target + Path.explode(isabelle_name + ".options"),
               terminate_lines(java_options_title :: java_options))
 
-            val isabelle_run =
-              isabelle_target + Path.explode("lib/scripts/" + isabelle_name + ".run")
+            val isabelle_run = isabelle_target + Path.explode("lib/scripts/Isabelle_app")
             File.write(isabelle_run,
-              File.read(Path.explode("~~/Admin/Linux/Isabelle.run"))
+              File.read(Path.explode("~~/Admin/Linux/Isabelle_app"))
                 .replaceAllLiterally("{CLASSPATH}",
                   classpath.map("$ISABELLE_HOME/" + _).mkString(":"))
                 .replaceAllLiterally("/jdk/", "/" + jdk_component + "/"))