Compilation fix for old kernels