diff --git a/External/SPEC/CINT2000/186.crafty/CMakeLists.txt b/External/SPEC/CINT2000/186.crafty/CMakeLists.txt
--- a/External/SPEC/CINT2000/186.crafty/CMakeLists.txt
+++ b/External/SPEC/CINT2000/186.crafty/CMakeLists.txt
@@ -26,6 +26,8 @@
   list(APPEND CPPFLAGS -DHAS_LONGLONG)
 endif()
 
+list(APPEND LDFLAGS -Wl,-zmuldefs)
+
 set(SourceNames
   attacks.c
   boolean.c
diff --git a/External/SPEC/CINT2000/300.twolf/CMakeLists.txt b/External/SPEC/CINT2000/300.twolf/CMakeLists.txt
--- a/External/SPEC/CINT2000/300.twolf/CMakeLists.txt
+++ b/External/SPEC/CINT2000/300.twolf/CMakeLists.txt
@@ -1,5 +1,6 @@
 list(APPEND CPPFLAGS -DHAVE_SIGNED_CHAR)
 list(APPEND LDFLAGS -lm)
+list(APPEND LDFLAGS -Wl,-zmuldefs)
 list(APPEND CFLAGS -Wno-return-type)
 
 macro(test_input run_type)