some .gitignore tweaks