--- libc/sysdeps/linux/i386/bits/kernel_types.h_orig	2010-03-09 17:11:32.000000000 +0100
+++ libc/sysdeps/linux/i386/bits/kernel_types.h	2010-03-09 17:11:44.000000000 +0100
@@ -7,9 +7,10 @@
 
 /* a hack for compiling a 32 bit user space with 64 bit
  * kernel on x86_64  */
-#if !defined(__ARCH_I386_POSIX_TYPES_H) && !defined(_ASM_X86_64_POSIX_TYPES_H)
+#if !defined(__ARCH_I386_POSIX_TYPES_H) && !defined(_ASM_X86_64_POSIX_TYPES_H) && !defined(_ASM_X86_POSIX_TYPES_32_H)
 #define _ASM_X86_64_POSIX_TYPES_H
 #define __ARCH_I386_POSIX_TYPES_H
+#define _ASM_X86_POSIX_TYPES_32_H
 
 typedef unsigned short	__kernel_dev_t;
 typedef unsigned long	__kernel_ino_t;