diff -dur cvc3-2.2.ORIG/Makefile.std cvc3-2.2/Makefile.std
--- cvc3-2.2.ORIG/Makefile.std	2009-09-30 12:54:34.000000000 -0600
+++ cvc3-2.2/Makefile.std	2009-10-15 21:12:35.804289073 -0600
@@ -92,7 +92,7 @@
   DEBUG_PLATFORM = -optdbg
 else
 ifeq ($(OPTIMIZED),1)
-  LOCAL_CXXFLAGS = -O2
+  LOCAL_CXXFLAGS =
   DEBUG_PLATFORM =
 else
   LOCAL_CXXFLAGS = -D_CVC3_DEBUG_MODE -g -O0
@@ -177,7 +177,7 @@
   BUILD_SHARED_LIB=1
 endif
 
-LOCAL_CXXFLAGS += -Wall $(INCLUDE_DIR)
+LOCAL_CXXFLAGS += $(INCLUDE_DIR)
 
 ifdef EXTRAFLAGS
   LOCAL_CXXFLAGS += $(EXTRAFLAGS)