Renaming file formats