Patch for minisat sources.

This was failing to build on Mac OS.