diff --git a/configure b/configure
index f82cd1bf62..29ef1f6707 100755
--- a/configure
+++ b/configure
@@ -1354,7 +1354,7 @@ if test "$_runtime_cpudetection" = yes && ! x86 && ! ppc; then
 fi
 
 
-_inc_extra=-I.
+_inc_extra="$_inc_extra -I."
 _timer=timer-linux.c
 _getch=getch2.c
 if freebsd ; then