(* Create a temporary file containing the shell script fragment. *)
let script = dir // "script" in
let chan = open_out script in
(* Create a temporary file containing the shell script fragment. *)
let script = dir // "script" in
let chan = open_out script in