diff --git a/libsel4bench/CMakeLists.txt b/libsel4bench/CMakeLists.txt
index 704db356f..c932b332f 100644
--- a/libsel4bench/CMakeLists.txt
+++ b/libsel4bench/CMakeLists.txt
@@ -39,4 +39,4 @@ target_include_directories(
 if(KernelArmArmV STREQUAL "armv7ve")
     target_include_directories(sel4bench PUBLIC "arch_include/${KernelArch}/armv/armv7-a")
 endif()
-target_link_libraries(sel4bench muslc sel4 utils sel4benchsupport sel4_autoconf)
+target_link_libraries(sel4bench muslc sel4 utils sel4_autoconf)