make.sh: don't explode the tool libraries