Fix Mac OS X compilation issue