Revert "Change filenames"

This reverts commit d5919b420fe71a0d665f7259b4ce0525c8ec0806, which
accidentally removed files instead of renaming them.