Fix compilation error on OSX