diff --git a/src/Makevars b/src/Makevars
index dffb97f..d5534ad 100644
--- a/src/Makevars
+++ b/src/Makevars
@@ -1,2 +1,2 @@
-PKG_CXXFLAGS = -DCGAL_HEADER_ONLY=1 -DCGAL_NO_GMP=1 -DBOOST_NO_AUTO_PTR
+PKG_CXXFLAGS = -DCGAL_HEADER_ONLY=1 -DCGAL_NO_GMP=1 -DCGAL_DISABLE_GMP=1 -DBOOST_NO_AUTO_PTR
 CXX_STD = CXX17