Renaming files to work with github.io