diff --git a/libsel4sync/CMakeLists.txt b/libsel4sync/CMakeLists.txt
index 44d3e77..6e1b4ce 100644
--- a/libsel4sync/CMakeLists.txt
+++ b/libsel4sync/CMakeLists.txt
@@ -30,8 +30,7 @@
         sel4vka
         platsupport
         utils
-        sel4_
-        autoconf
+        sel4_autoconf
 )
 
 if(KernelDebugBuild)