Deal with very old linux kernels