Properly depend on Linux headers