--- tvtime-1.0.1/src/videodev2.h.orig	2006-07-13 11:45:39.000000000 +0200
+++ tvtime-1.0.1/src/videodev2.h	2006-07-13 11:46:14.000000000 +0200
@@ -16,7 +16,6 @@
 #ifdef __KERNEL__
 #include <linux/time.h> /* need struct timeval */
 #endif
-#include <linux/compiler.h> /* need __user */
 
 /* for kernel versions 2.4.26 and below: */
 #ifndef __user