Fix compile error on MacOSX introduced in a676e3acaa96d35a1c1a7dc9bcf627239f81ea07.