quick and dirty add support for older Linux kernels