zlib.h is only required by minisat, which may be patched