diff -r e27cfd2bf094 -r 0d4ee4168e41 src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Tue Nov 03 11:24:42 2015 +0100
+++ b/src/Pure/System/isabelle_system.scala	Tue Nov 03 13:54:34 2015 +0100
@@ -329,11 +329,11 @@
 
       val limited = new Limited_Progress(proc, progress_limit)
       val (_, stdout) =
-        Simple_Thread.future("bash_stdout") {
+        Standard_Thread.future("bash_stdout") {
           File.read_lines(proc.stdout, limited(progress_stdout))
         }
       val (_, stderr) =
-        Simple_Thread.future("bash_stderr") {
+        Standard_Thread.future("bash_stderr") {
           File.read_lines(proc.stderr, limited(progress_stderr))
         }