diff --git a/Installation/test/Installation/CMakeLists.txt b/Installation/test/Installation/CMakeLists.txt
index c3ad78f74ae..f22bddd7708 100644
--- a/Installation/test/Installation/CMakeLists.txt
+++ b/Installation/test/Installation/CMakeLists.txt
@@ -83,15 +83,6 @@ if(WITH_CGAL_Qt5)
   endif()
 endif()
 
-if(WIN32 OR CMAKE_SYSTEM_NAME STREQUAL Windows)
-  add_executable(display_dll_version_info display_dll_version_info.cpp)
-  target_link_libraries(display_dll_version_info version)
-  add_executable(test_gmp_mpfr_dll test_gmp_mpfr_dll.cpp)
-  target_link_libraries(test_gmp_mpfr_dll version)
-  cgal_add_test(test_gmp_mpfr_dll)
-  add_to_cached_list(CGAL_EXECUTABLE_TARGETS test_gmp_mpfr_dll)
-endif()
-
 find_package(LEDA QUIET)
 if(LEDA_FOUND)
   include(${LEDA_USE_FILE})