[PATCH] Support GNU make when it is not called "make"