let mod_date_of_file file =
  try (Unix.stat file).Unix.st_mtime
  with _ -> 0.0