--- tekram/irkbd.c	2013-06-09 23:16:55.409026341 +0100
+++ tekram/irkbd.c	2013-06-09 23:16:19.089023875 +0100
@@ -34,7 +34,7 @@
 #include <sys/ioctl.h>
 #include <sys/stat.h>
 
-#include <linux/types.h>
+#include <asm-generic/int-l64.h>
 
 #include <unistd.h>
 #include <stdio.h>