Fixing github (these files snuck in before .gitignore