diff --git a/lib/kernel/vortex/CMakeLists.txt b/lib/kernel/vortex/CMakeLists.txt
index af97049d8cd3f5afaf1140cdc90816f6d36b5d20..c79d0dace6225efb6cea76d5de0bf5ad502c7e51 100644
--- a/lib/kernel/vortex/CMakeLists.txt
+++ b/lib/kernel/vortex/CMakeLists.txt
@@ -56,11 +56,11 @@ foreach(EXT ${VORTEX_DEVICE_EXTENSIONS})
 endforeach()
 separate_arguments(DEVICE_CL_FLAGS)
 
-set(CLANG_FLAGS "-Dcl_khr_fp64" "-Dcl_khr_int64" "-cl-ext=all,-cl_khr_fp64" "-ffreestanding" "-target" "${LLVM_TARGET_32}" "-march=${TARGET_MARCH_32}" "-emit-llvm" "-DPOCL_DEVICE_ADDRESS_BITS=32" "-D_CL_DISABLE_HALF" "-I${VORTEX_PREFIX}/kernel/include" "-I${VORTEX_PREFIX}/hw/")
+set(CLANG_FLAGS "-Dcl_khr_fp64" "-Dcl_khr_int64" "-cl-ext=all,-cl_khr_fp64" "-ffreestanding" "-target" "${LLVM_TARGET_32}" "-march=${TARGET_MARCH_32}" "-emit-llvm" "-DPOCL_DEVICE_ADDRESS_BITS=32" "-D_CL_DISABLE_HALF" "-I${VORTEX_PREFIX}/kernel/include" "-I${VORTEX_PREFIX}/hw/include")
 set(DEVICE_CL_FLAGS "-D__OPENCL_VERSION__=${VORTEX_DEVICE_CL_VERSION} -DPOCL_DEVICE_ADDRESS_BITS=32")
 make_kernel_bc(KERNEL_BC_32 "riscv32" "VX32-BCs" 0 0 0 ${KERNEL_SOURCES})
 
-set(CLANG_FLAGS "-Dcl_khr_fp64" "-Dcl_khr_int64" "-cl-ext=all,-cl_khr_fp64" "-ffreestanding" "-target" "${LLVM_TARGET_64}" "-march=${TARGET_MARCH_64}" "-emit-llvm" "-DPOCL_DEVICE_ADDRESS_BITS=64" "-D_CL_DISABLE_HALF" "-I${VORTEX_PREFIX}/kernel/include" "-I${VORTEX_PREFIX}/hw/")
+set(CLANG_FLAGS "-Dcl_khr_fp64" "-Dcl_khr_int64" "-cl-ext=all,-cl_khr_fp64" "-ffreestanding" "-target" "${LLVM_TARGET_64}" "-march=${TARGET_MARCH_64}" "-emit-llvm" "-DPOCL_DEVICE_ADDRESS_BITS=64" "-D_CL_DISABLE_HALF" "-I${VORTEX_PREFIX}/kernel/include" "-I${VORTEX_PREFIX}/hw/include")
 set(DEVICE_CL_FLAGS "-D__OPENCL_VERSION__=${VORTEX_DEVICE_CL_VERSION} -DPOCL_DEVICE_ADDRESS_BITS=64")
 make_kernel_bc(KERNEL_BC_64 "riscv64" "VX64-BCs" 0 0 0 ${KERNEL_SOURCES})