fix a mac header file bug