Fix build under OSX