fix Mac OS X build