diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 268f208a6..0ceee11f4 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -46,6 +46,7 @@ add_sanitize_flags()
 
 include_directories(${CMAKE_CURRENT_BINARY_DIR})
 include_directories(${CMAKE_CURRENT_SOURCE_DIR})
+include_directories(${CMAKE_SOURCE_DIR}/../cadiback)
 
 if (ENABLE_TESTING)
     add_definitions( -DCMS_TESTING_ENABLED )
diff --git a/src/backbone.cpp b/src/backbone.cpp
index 66c6b2a01..355a709eb 100644
--- a/src/backbone.cpp
+++ b/src/backbone.cpp
@@ -21,7 +21,7 @@ THE SOFTWARE.
 ***********************************************/
 
 #include "solver.h"
-#include "../../cadiback/cadiback.h"
+#include "cadiback.h"
 
 using namespace CMSat;