renaming file for prettier output on github