some more things in .gitignore