Add millisecond resolution to 'change_file_times'