added time_t file_modified_time(std::string).