tuned;

--- a/src/Pure/System/bash.scala	Sat Mar 12 22:02:36 2016 +0100
+++ b/src/Pure/System/bash.scala	Sat Mar 12 22:11:09 2016 +0100
@@ -41,7 +41,7 @@
       cleanup: () => Unit)
     extends Prover.System_Process
   {
-    private val timing_file = Isabelle_System.tmp_file("bash_script")
+    private val timing_file = Isabelle_System.tmp_file("bash_timing")
     private val timing = Synchronized[Option[Timing]](None)
 
     private val script_file = Isabelle_System.tmp_file("bash_script")