* fileread.cc (File_read::get_mtime): New method.