let open_out filename =
  try
    open_out filename
  with Sys_error _ ->
    Report.fatal ("** Error: Could not open file " ^ filename ^ " for writing.");
    raise (Invalid_argument "no file")