let make_exec name =
let default =
let pwd = Sys.getcwd () in
let bn = Filename.concat pwd name in
if Sys.file_exists (bn^".native") then
bn^".native"
else if Sys.file_exists (bn^".byte") then
bn^".byte"
else
name
in
make_string name default (Printf.sprintf "Executable %s." name)