Fix configure on systems where `make(1)` is not GNU make.