simple renaming of files

… to make the naming scheme consistent