diff -r a9397557da56 -r ce5faf131fd3 src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Mon Dec 30 12:43:06 2013 +0100
+++ b/src/Pure/System/isabelle_system.scala	Mon Dec 30 12:58:13 2013 +0100
@@ -303,7 +303,7 @@
     private val pid = stdout.readLine
 
     private def kill_cmd(signal: String): Int =
-      execute(true, "/bin/bash", "-c", "kill -" + signal + " -" + pid).waitFor
+      execute(true, "/usr/bin/env", "bash", "-c", "kill -" + signal + " -" + pid).waitFor
 
     private def kill(signal: String): Boolean =
     {