diff --git a/configure b/configure
index c157b76b4f..0fbe0447ed 100755
--- a/configure
+++ b/configure
@@ -814,6 +814,7 @@ $_cc -o $TMPO $TMPC 2> /dev/null && _alloca_h=yes
 
 
 cat > $TMPC << EOF
+#include <sys/types.h>
 #include <sys/mman.h>
 int main( void ) { return 0; }
 EOF