--- kbd-2.0.1.orig/src/libkeymap/kernel.c	2013-08-27 22:45:33.000000000 +0200
+++ kbd-2.0.1/src/libkeymap/kernel.c	2014-03-24 21:45:01.000000000 +0100
@@ -6,7 +6,10 @@
  * This file is covered by the GNU General Public License,
  * which should be included with kbd as the file COPYING.
  */
+
+#include <stdarg.h>
 #include <string.h>
+#include <stdio.h>
 #include <errno.h>
 #include <sys/ioctl.h>