make.sh: remove erroneous underscore in tool check call