--- CMakeLists.txt~	2022-01-22 12:06:27.146275717 +0100
+++ CMakeLists.txt	2022-01-22 12:09:04.109182403 +0100
@@ -238,19 +238,6 @@
 endif ()
 
 #-----------------------------------------------------------------------------#
-# Use ld.gold if available
-
-execute_process(COMMAND ${CMAKE_C_COMPILER}
-                -fuse-ld=gold
-                -Wl,--version ERROR_QUIET OUTPUT_VARIABLE LD_VERSION)
-if ("${LD_VERSION}" MATCHES "GNU gold")
-  string(APPEND CMAKE_EXE_LINKER_FLAGS " -fuse-ld=gold")
-  string(APPEND CMAKE_SHARED_LINKER_FLAGS " -fuse-ld=gold")
-  string(APPEND CMAKE_MODULE_LINKER_FLAGS " -fuse-ld=gold")
-  message(STATUS "Using GNU gold linker.")
-endif ()
-
-#-----------------------------------------------------------------------------#
 # Option defaults (three-valued options (cvc4_option(...)))
 #
 # These options are only set if their value is IGNORE. Otherwise, the user