Rename some silly filenames.