slightly modified gitignore