Patch up the .gitignore