diff --git a/utils/nightly/gmsh_linux64_coverage.ctest b/utils/nightly/gmsh_linux64_coverage.ctest
index 6b9d8fdc5e30cb8418047f01a8bc5a0fa99fee8c..644ccc8cf4746108f7a8b71d73bf58c397e6c5db 100644
--- a/utils/nightly/gmsh_linux64_coverage.ctest
+++ b/utils/nightly/gmsh_linux64_coverage.ctest
@@ -4,11 +4,9 @@
 # bugs and problems to the public mailing list <gmsh@geuz.org>.
 
 set(CTEST_CMAKE_COMMAND "/usr/bin/cmake")
-set(CTEST_BINARY_DIRECTORY "$ENV{HOME}/src/gmsh/bin")
+set(CTEST_BINARY_DIRECTORY "$ENV{HOME}/src/gmsh/bin_coverage")
 set(CTEST_CMAKE_GENERATOR "Unix Makefiles")
 
-set(WEB_BIN "geuzaine@geuz.org:/home/www/geuz.org/gmsh/bin/Linux")
-
 set(WITH_TEST TRUE)      # run the tests?
 set(WITH_COVERAGE TRUE) # check code coverage?
 set(WITH_MEMCHECK FALSE) # check memory with valgrind?