new extensions to .gitignore