Standardize some filenames