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)