src/Pure/System/isabelle_system.scala

         case path => path.replace('\\', '/')
       }
     }
     else jvm_path
 
+  def posix_path(file: JFile): String = posix_path(file.getPath)
+
 
   /* misc path specifications */
 
   def standard_path(path: Path): String = path.expand.implode
 

 
   def bash_env(cwd: JFile, env: Map[String, String], script: String): (String, String, Int) =
   {
     File.with_tmp_file("isabelle_script") { script_file =>
       File.write(script_file, script)
-      val proc = new Managed_Process(cwd, env, false, "bash", posix_path(script_file.getPath))
+      val proc = new Managed_Process(cwd, env, false, "bash", posix_path(script_file))
 
       proc.stdin.close
       val (_, stdout) = Simple_Thread.future("bash_stdout") { File.read_stream(proc.stdout) }
       val (_, stderr) = Simple_Thread.future("bash_stderr") { File.read_stream(proc.stderr) }