diff -r 00be8711082f -r ea8f3ea13a95 src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Wed Sep 22 13:47:48 2010 +0200
+++ b/src/Pure/System/isabelle_system.scala	Wed Sep 22 14:06:48 2010 +0200
@@ -273,8 +273,8 @@
       val proc = new Managed_Process(false, "bash", posix_path(script_file.getPath))
 
       proc.stdin.close
-      val stdout = Simple_Thread.future { Standard_System.slurp(proc.stdout) }
-      val stderr = Simple_Thread.future { Standard_System.slurp(proc.stderr) }
+      val stdout = Simple_Thread.future("bash_stdout") { Standard_System.slurp(proc.stdout) }
+      val stderr = Simple_Thread.future("bash_stderr") { Standard_System.slurp(proc.stderr) }
 
       val rc =
         try { proc.join }