diff --git a/edo/build_gcc_linux_debug b/edo/build_gcc_linux_debug
index 74b2b6d2..ea754f9b 100755
--- a/edo/build_gcc_linux_debug
+++ b/edo/build_gcc_linux_debug
@@ -2,6 +2,6 @@
 
 mkdir -p debug
 cd debug
-cmake -DCMAKE_BUILD_TYPE=Debug -DWITH_BOOST=1 ..
+cmake -DCMAKE_BUILD_TYPE=Debug -DWITH_EIGEN=1 ..
 make
 cd ..