more loosening of .gitignore