renaming file for better display in github.com