configure/tools/.gitignore