hopefully got rid of all files now listed in .gitignore