diff --git a/Makefile b/Makefile
index 8c62215..826499e 100644
--- a/Makefile
+++ b/Makefile
@@ -58,9 +58,9 @@ profile : $(MAIN)-prof
 
 release : .FORCE
 	rm -f *.gcda
-	$(MAKE) clean all GFLAGS="-DNDEBUG -DTYPECODES=1 -DDELOPT=1 -O3 -fprofile-correction -fprofile-generate"
+	$(MAKE) clean all GFLAGS="-DNDEBUG -DTYPECODES=1 -DDELOPT=1 -DPROFILE=1 -O3 -fprofile-correction -fprofile-generate"
 	./$(MAIN) -O profile-generate.txt profile-generate.txt profile-generate.txt profile-generate.txt
-	$(MAKE) clean all GFLAGS="-DNDEBUG -DTYPECODES=1 -DDELOPT=1 -O3 -fprofile-correction -fprofile-use"
+	$(MAKE) clean all GFLAGS="-DNDEBUG -DTYPECODES=1 -DDELOPT=1 -DPROFILE=1 -O3 -fprofile-correction -fprofile-use"
 	./$(MAIN) -O profile-generate.txt
 
 FILES = Makefile $(MAIN).leg bench.txt test.txt test2.txt