Make the "make" command into a dollar-variable so users can switch
from make to gmake and back at one point in the script.
Add a troubleshooting note on `make` vs `gmake`.