another .gitignore modification