bugfix for OSX build configuration