Further tweak .gitignore