Slightly modified .gitignore