let delete_file f =
  try Unix.unlink f
  with _ -> ()