Rename file extension for github to be happy