temporary tweak of .gitignore