use proper kernel headers locations