Fix a few filenames.