Index: gecode-3.6.0/gecode.m4
===================================================================
--- gecode-3.6.0.orig/gecode.m4	2011-07-21 14:52:24.987946218 +0300
+++ gecode-3.6.0/gecode.m4	2011-07-21 14:52:40.723946207 +0300
@@ -492,7 +492,6 @@
        esac
      else
         AC_MSG_RESULT(no)
-        ac_gecode_gcc_optimize_flag=-O3
         ac_gecode_cl_optimize_flag=-O2
      fi])
 
