rename file, since now it's on github