linux kernel OS X build fix