another tweak to gitignore