another change in .gitignore