Fix a file name that was changed.