Additional tweaks to .gitignore