diff --git a/drama/Makefile b/drama/Makefile
index 6c3f4e0..05fbde0 100644
--- a/drama/Makefile
+++ b/drama/Makefile
@@ -4,7 +4,7 @@ LDIR=lib
 BUILD=obj
 ODIR=src/.obj
 
-CFLAGS+=-I$(IDIR) #-ggdb
+CFLAGS+=-I$(IDIR) -O3 #-ggdb
 # CXX=g++
 LDFLAGS=-lpthread
 
diff --git a/drama/src/rev-mc.c b/drama/src/rev-mc.c
index dbc888a..d0b95cd 100644
--- a/drama/src/rev-mc.c
+++ b/drama/src/rev-mc.c
@@ -360,9 +360,6 @@ find_row_mask(std::vector<set_t> &sets,
 }
 
 //----------------------------------------------------------
-#pragma push_options
-#pragma optimize("O3")
-
 void
 rev_mc(size_t sets_cnt, size_t threshold, size_t rounds, size_t m_size, char *o_file, uint64_t flags)
 {
@@ -446,8 +443,6 @@ rev_mc(size_t sets_cnt, size_t threshold, size_t rounds, size_t m_size, char *o_
     free_buffer(&mem);
 }
 
-#pragma pop_options
-
 // Fin.
 
 //----------------------------------------------------------