Temp workaround for kernels > 3.9