fix include in 3.9+ kernels