Got rid of files by force, since .gitignore didn't do it