fix the .gitignore (again)