Fixed "memUsedPeak not defined" bug on Mac OSX

Fix for this issue: https://github.com/niklasso/minisat/issues/1