let shell = ref "/bin/sh"
(* Used by sh, shout, shlines to handle the script and temporary dir. *)
-let with_script ?(tmpdir = false) script f =
+let with_script ?(tmpdir = true) script f =
let dir = if tmpdir then Some (make_tmpdir ()) else None in
let script_file, chan =
match dir with