diff -r 49f61e2f5a02 -r 5b8ed310b31d src/Pure/Admin/other_isabelle.scala
--- a/src/Pure/Admin/other_isabelle.scala	Wed May 24 11:17:23 2017 +0200
+++ b/src/Pure/Admin/other_isabelle.scala	Wed May 24 11:39:00 2017 +0200
@@ -15,8 +15,7 @@
   /* static system */
 
   def bash(script: String, redirect: Boolean = false, echo: Boolean = false): Process_Result =
-    progress.bash(
-      "export ISABELLE_IDENTIFIER=" + Bash.string(isabelle_identifier) + "\n" + script,
+    progress.bash(Isabelle_System.export_isabelle_identifier(isabelle_identifier) + script,
       env = null, cwd = isabelle_home.file, redirect = redirect, echo = echo)
 
   def apply(cmdline: String, redirect: Boolean = false, echo: Boolean = false): Process_Result =