Fix build for MacOSX 10.9