fix on OSX