.gitignore is a trick to force git index tools folder