diff --git a/trunk/installParadiseo.sh b/trunk/installParadiseo.sh
index 73b47ea5e..66b4e13d7 100755
--- a/trunk/installParadiseo.sh
+++ b/trunk/installParadiseo.sh
@@ -1055,7 +1055,7 @@ do
    then
       BUILD_TYPE=Debug
       OPTIONNAL_CMAKE_FLAGS='-DENABLE_CMAKE_TESTING=TRUE'
-      CTEST_CONFIG="$CTEST_CONFIG -D ExperimentalTest -D ExperimentalMemCheck"
+      CTEST_CONFIG="$CTEST_CONFIG -D ExperimentalTest -D ExperimentalCoverage -D ExperimentalMemCheck"
   fi
   if [ "${i%=*}" = "--skipdart" ]
    then