Fix things

CMakeLists.txt

@@ -150,7 +150,7 @@ if(Z3_INTERFACE)
     find_package(Z3 REQUIRED)
     message(STATUS "Z3 version: ${Z3_VERSION}")
     if(TARGET z3::libz3)
-        target_link_libraries(z3::libz3)
+        link_libraries(z3::libz3)
     elseif(DEFINED Z3_INCLUDE_DIRS)
         include_directories(${Z3_INCLUDE_DIRS})
     else()
@@ -164,7 +164,7 @@ if(BITWUZLA_INTERFACE)
     message(STATUS "Compiling with Bitwuzla SMT solver")
     find_package(BITWUZLA REQUIRED)
     if(TARGET Bitwuzla::bitwuzla)
-        target_link_libraries(Bitwuzla::bitwuzla)
+        link_libraries(Bitwuzla::bitwuzla)
     elseif(DEFINED BITWUZLA_INCLUDE_DIRS)
         include_directories(${BITWUZLA_INCLUDE_DIRS})
     else()
@@ -195,7 +195,7 @@ message(STATUS "Compiling with Capstone")
 find_package(CAPSTONE REQUIRED)
 message(STATUS "CAPSTONE version: ${CAPSTONE_VERSION}")
 if(TARGET capstone::capstone)
-    target_link_libraries(capstone::capstone)
+    link_libraries(capstone::capstone)
 elseif(DEFINED CAPSTONE_INCLUDE_DIRS)
     include_directories(${CAPSTONE_INCLUDE_DIRS})
 else()