@@ allow changing the make executable name in build.sh (MAKE var).