diff -r 361cfb8e3648 -r 23c513c192ac src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Wed Sep 14 23:58:26 2022 +0200
+++ b/src/Pure/Admin/build_release.scala	Thu Sep 15 11:35:47 2022 +0200
@@ -253,7 +253,7 @@
               "cd " + File.bash_path(remote_dir),
               "tar -xf tmp.tar",
               build_command,
-              """perl -pi -e "s/ISABELLE_APPLE_PLATFORM64/ISABELLE_PLATFORM64/g;" "$(bin/isabelle getenv -b POLYML_HOME)/etc/settings" """,
+              """perl -pi -e "s/ISABELLE_APPLE_PLATFORM64/ISABELLE_WINDOWS_PLATFORM64/g;" "$(bin/isabelle getenv -b POLYML_HOME)/etc/settings" """,
               build_command,
               "tar -cf tmp.tar heaps")
           ssh.execute(build_script.mkString(" && "), settings = false).check