--- skinelchi/videostatus.h_orig	2011-10-03 15:28:41.000000000 +0200
+++ skinelchi/videostatus.h	2012-01-22 15:47:42.556819925 +0100
@@ -9,6 +9,9 @@
 
 #ifndef __SKINELCHI_VIDEOSTATUS_H_
 #define __SKINELCHI_VIDEOSTATUS_H_
+#ifndef __user
+#define __user
+#endif
 
 #include <vdr/thread.h>
 #include <vdr/plugin.h>