--- configure 2009-01-30 05:34:40.000000000 +0100
+++ configure    2011-03-02 17:31:19.000000000 +0100
@@ -21968,7 +21968,7 @@
         ODE_PRECISION=-DdSINGLE
 fi
 
-CPPFLAGS+=" $ODE_PRECISION"
+CPPFLAGS="$CPPFLAGS $ODE_PRECISION"