- minisat/utils/System.cc: fix declaration-definition mismatch of Minisat::memUsedPeak() for OSX, BSD and other non-Linux platforms
 - Makefile: fix build of static and shared libraries and binaries for OSX systems.
 - minisat/utils/Options.h: separate format string and PRIi64 token (which evaluates to a string), in order to avoid definition of user-defined trigraphs.