diff --git a/runtime/Makefile b/runtime/Makefile
index 01e0fa1b3..2c9b7632c 100644
--- a/runtime/Makefile
+++ b/runtime/Makefile
@@ -1,5 +1,5 @@
 CC=gcc
-FLAGS=-m32 -g2 -fstack-protector-all -DFULL_INVARIANT_CHECKS -DLAMA_ENV
+FLAGS=-m32 -g2 -fstack-protector-all -DLAMA_ENV
 
 all: gc_runtime.o gc.o runtime.o
 	ar rc runtime.a gc_runtime.o runtime.o gc.o