Tolerate GNU make that is not named "make"