src/Pure/PIDE/batch_session.scala

       Build.find_sessions(options, dirs).selection(sessions = List(session))
     val session_info = session_tree(session)
     val parent_session =
       session_info.parent getOrElse error("No parent session for " + quote(session))
 
-    if (Build.build(options, new Build.Console_Progress(verbose),
+    if (Build.build(options, new Console_Progress(verbose),
         verbose = verbose, build_heap = true,
         dirs = dirs, sessions = List(parent_session)) != 0)
       new RuntimeException
 
     val deps = Build.dependencies(verbose = verbose, tree = session_tree)

     {
       val content = deps(parent_session)
       new Resources(content.loaded_theories, content.known_theories, content.syntax)
     }
 
-    val progress = new Build.Console_Progress(verbose)
+    val progress = new Console_Progress(verbose)
 
     val prover_session = new Session(resources)
     val batch_session = new Batch_Session(prover_session)
 
     val handler = new Build.Handler(progress, session)