diff --git a/libsel4bench/CMakeLists.txt b/libsel4bench/CMakeLists.txt
index 617a5f04..eff5193d 100644
--- a/libsel4bench/CMakeLists.txt
+++ b/libsel4bench/CMakeLists.txt
@@ -58,7 +58,6 @@ endif()
 target_include_directories(
     sel4bench
     PUBLIC "sel4_arch_include/${KernelSel4Arch}" "arch_include/${KernelArch}" "include"
-    PRIVATE "src"
 )
 
 target_link_libraries(sel4bench muslc sel4 utils sel4_autoconf)