Fix compilation on Mac OS X