diff --git a/libsel4bench/CMakeLists.txt b/libsel4bench/CMakeLists.txt
index fef8b64f..be118120 100644
--- a/libsel4bench/CMakeLists.txt
+++ b/libsel4bench/CMakeLists.txt
@@ -38,7 +38,7 @@ target_include_directories(
         include
         "arch_include/${KernelArch}/armv/${KernelArmArmV}"
         "arch_include/${KernelArch}/cpu/${KernelArmCPU}"
-        "sel4_arch_include/${KernelSel4Arch}/"
+        "sel4_arch_include/${KernelSel4Arch}"
         "arch_include/${KernelArch}"
         src
 )