Fixes to .gitignore, Issue #41