make.sh: make the tool builder more quiet and robust