Minor changes to .gitignore files.