Fix building on Arch Linux with Linux kernel 3.11