file.cc: try more portable use of struct stat::st_mtime