--- dvb/linux/include/linux/dvb/video.h_orig	2010-07-03 23:22:13.000000000 +0200
+++ dvb/linux/include/linux/dvb/video.h	2012-07-18 21:38:44.182725958 +0200
@@ -28,6 +28,7 @@
 #ifdef __KERNEL__
 #include <linux/compiler.h>
 #else
+#include <linux/compiler.h>
 #include <stdint.h>
 #include <time.h>
 #endif