make .gitignore Ctrl-P friendly