Fix OS X gccinlines.h