diff --git a/Makefile b/Makefile
index 55f15ae..1793640 100644
--- a/Makefile
+++ b/Makefile
@@ -3,14 +3,13 @@ SRC_DIR := src
 SOURCES != find '$(SRC_DIR)' -iname '*.v'
 
 V_PATH ?= v
-V := $(V_PATH) -showcc -gc boehm -d dynamic_boehm
+V := $(V_PATH) -showcc -gc boehm
 
 all: vieter
 
 
 # =====COMPILATION=====
-# We force the boehm gc to be compiled dynamically because otherwise, our CI
-# build breaks.
+# Regular binary
 vieter: $(SOURCES)
 	$(V) -g -o vieter $(SRC_DIR)