tweaking the .gitignore