Fix a compilation problem on OSX.