diff -r f8ebb715e06d -r 9498623b27f0 src/Pure/Concurrent/bash.ML
--- a/src/Pure/Concurrent/bash.ML	Mon Mar 07 20:44:47 2016 +0100
+++ b/src/Pure/Concurrent/bash.ML	Mon Mar 07 21:09:28 2016 +0100
@@ -38,10 +38,10 @@
             val _ = getenv_strict "ISABELLE_BASH_PROCESS";
             val status =
               OS.Process.system
-                ("exec \"$ISABELLE_BASH_PROCESS\" " ^ File.shell_path pid_path ^
-                  " bash " ^ File.shell_path script_path ^
-                  " > " ^ File.shell_path out_path ^
-                  " 2> " ^ File.shell_path err_path);
+                ("exec \"$ISABELLE_BASH_PROCESS\" " ^ File.bash_path pid_path ^
+                  " bash " ^ File.bash_path script_path ^
+                  " > " ^ File.bash_path out_path ^
+                  " 2> " ^ File.bash_path err_path);
             val res =
               (case Posix.Process.fromStatus status of
                 Posix.Process.W_EXITED => Result 0