more proper .gitignore