method update_date =
      date <- Some (Ed_misc.mod_date_of_file filename)