Renaming files to be recognized by Github.