Tweaks in .gitignore