diff -ru src/configure b/configure
--- src/configure 2008-06-16 01:52:33.000000000 +0200
+++ b/configure 2013-06-12 18:12:47.002405386 +0200
@@ -18621,8 +18621,7 @@
DEFAULT_CFLAGS="-O3 -Wall"
-${CFLAGS:=$DEFAULT_CFLAGS}
-CFLAGS="-I. ${CFLAGS}"
+CFLAGS="-I. ${CFLAGS:-$DEFAULT_CFLAGS}"
