Renaming files

No need to have them named example/default.