tweak .gitignore