Fixing cryptominisat libraries location
diff --git a/lib/CMakeLists.txt b/lib/CMakeLists.txt
index 1c68416..47ef78a 100644
--- a/lib/CMakeLists.txt
+++ b/lib/CMakeLists.txt
@@ -114,7 +114,7 @@
     if (NOT BUILD_SHARED_LIBS)
       set(libstp_link_libs
         ${libstp_link_libs}
-        /usr/local/lib/${CRYPTOMINISAT5_STATIC_LIBRARIES}
+        ${CRYPTOMINISAT5_STATIC_LIBRARIES}
         ${CRYPTOMINISAT5_STATIC_LIBRARIES_DEPS})
     else()
       set(libstp_link_libs