get modified time of file `file`,time.ctime(os.path.getmtime(file))