renames files for github pages integration