add support for kernel 3.13