Log Message: We have to use GNU make under Mac OS X because the "configure" script generates a GNU make specific makefile on this platform.