--- mplayer/libvo/vo_fbdev.c.ark	2007-10-30 18:00:35.000000000 +0100
+++ mplayer/libvo/vo_fbdev.c	2007-10-30 18:00:57.000000000 +0100
@@ -9,6 +9,10 @@
 
 #include <stdio.h>
 #include <stdlib.h>
+#include <stdint.h>
+
+typedef uint32_t __u32; // for kernel headers
+
 #include <string.h>
 #include <fcntl.h>
 #include <unistd.h>