Rename empty_file to previously_empty_file