Compatibility fix for Linux kernel >= 3.13