Fix build for Linux 3.14.