Minor things

A wbSolution fix, malloc API, and minor Makefile changes.