Ensured that `RenameBox` *cannot* change the file extensions