Fix build on systems where make is not a GNU make.

This patch fixes build on systems where GNU make is not default (e.g. FreeBSD).
On these systems GNU make is usually installed as `gmake'.