Tweaking the .gitignore