Update get_file_change_time.py