src/Pure/System/cygwin_init.scala

     {
       _return_code match {
         case None =>
         case Some(0) =>
           visible = false
-          default_thread_pool.submit(() => start)
+          Simple_Thread.fork("Isabelle") { start }
         case Some(rc) =>
           sys.exit(rc)
       }
     }