src/Pure/Tools/build_job.scala

           catch { case _: IllegalStateException => }
         }
       }
 
       val export_consumer =
-        Export.consumer(store.open_database(session_name, output = true), cache = store.xz_cache)
+        Export.consumer(store.open_database(session_name, output = true), store.xz_cache)
 
       val stdout = new StringBuilder(1000)
       val stderr = new StringBuilder(1000)
       val messages = new mutable.ListBuffer[XML.Elem]
       val command_timings = new mutable.ListBuffer[Properties.T]