Put tools.properties in the right directory.