more mends to .gitignore