Add support for disabling generation of binaries.
Fix configure on systems where `make(1)` is not GNU make.