diff -r 0dd54d6c974a -r f627ffab387b src/Pure/System/bash.scala
--- a/src/Pure/System/bash.scala	Wed Jun 30 16:53:33 2021 +0200
+++ b/src/Pure/System/bash.scala	Wed Jun 30 20:57:38 2021 +0200
@@ -59,7 +59,7 @@
     }
     cmd.add("-c")
     cmd.add("kill -" + signal + " -" + group_pid)
-    isabelle.setup.Isabelle_Env.exec_process(cmd).ok
+    isabelle.setup.Environment.exec_process(cmd, null, null, false).ok
   }
 
   def process(script: String,
@@ -94,10 +94,10 @@
     File.write(script_file, winpid_script)
 
     private val proc =
-      isabelle.setup.Isabelle_Env.process_builder(
+      isabelle.setup.Environment.process_builder(
         JList.of(File.platform_path(Path.variable("ISABELLE_BASH_PROCESS")),
           File.standard_path(timing_file), "bash", File.standard_path(script_file)),
-        cwd = cwd, env = env, redirect = redirect).start()
+        cwd, env, redirect).start()
 
 
     // channels