make it possible to use fixed kernel headers