+++ /dev/null
---- src/dumpkeys.c.old 2003-11-06 12:30:50.000000000 +0100
-+++ src/dumpkeys.c 2003-11-06 12:32:18.000000000 +0100
-@@ -18,6 +18,9 @@
-
- #ident "$Id$"
- #include "../config.h"
-+#ifdef HAVE_SYS_TYPES_H
-+#include <sys/types.h>
-+#endif
- #ifdef HAVE_SYS_SELECT_H
- #include <sys/select.h>
- #endif