Works now independent of whether GNU make is installed as gmake or make on the
system.

[lewie: It was not so good to just change `make' to `gmake'; broke the thing
on our Solaris boxen, which have GNU make as the default make.]