Fix a build error on mac.