Fix compilation on Mac OSX 10.9.1