>>> ERROR: mongodb-tools: build failed