Fix up build on Mac OS X: