minisat: Fix memUsedPeak()
minisat: Fix memUsedPeak()

Fix missing argument on systems other than Linux.

linas/link-grammar,linas/link-grammar,linas/link-grammar,linas/link-grammar,opencog/link-grammar,ampli/link-grammar,linas/link-grammar,linas/link-grammar,linas/link-grammar,opencog/link-grammar,ampli/link-grammar,opencog/link-grammar,linas/link-grammar,opencog/link-grammar,opencog/link-grammar,opencog/link-grammar,opencog/link-grammar,ampli/link-grammar,ampli/link-grammar,ampli/link-grammar,ampli/link-grammar,ampli/link-grammar,ampli/link-grammar,linas/link-grammar,ampli/link-grammar,opencog/link-grammar,opencog/link-grammar