Unset the macros.

The removed macros should not be set by default.

Makefile

@@ -24,7 +24,8 @@ MPI ?= /usr/local
 CXX ?= g++
 
 WORDS = 24
-MACROS=-DDERANDOMIZE -UVERBOSE -DSAVE_DPS -DMAKE_VERSIONS_COMPARABLE
+MACROS=-UVERBOSE
+# options: VERBOSE DERANDOMIZE SAVE_DPS MAKE_VERSIONS_COMPARABLE
 
 CXXFLAGS=-g -Wall -O2
 CPPFLAGS=-DWORDS=$(WORDS) -I$(LIBEVENT)/include -I$(GMP)/include -std=c++11 $(MACROS)