diff --git a/python/setup.py.in b/python/setup.py.in
index 280296286..13e1d3767 100644
--- a/python/setup.py.in
+++ b/python/setup.py.in
@@ -85,7 +85,7 @@ if not os.path.isfile(os.path.join('smt_switch', ext_filename)):
 
     # Set up the extension module
     ext_options = {
-        "libraries": ["smt-switch"] + [f"smt-switch-{solver}" for solver in solver_libs.keys()],
+        "libraries": [f"smt-switch-{solver}" for solver in solver_libs.keys()] + ["smt-switch"],
         "library_dirs": [PROJECT_BINARY_DIR, f"{PROJECT_BINARY_DIR}/python"] + [f"{PROJECT_BINARY_DIR}/{solver}" for solver in solver_libs],
         "runtime_library_dirs": [PROJECT_BINARY_DIR, f"{PROJECT_BINARY_DIR}/python"] + [f"{PROJECT_BINARY_DIR}/{solver}" for solver in solver_libs],
         "include_dirs": [f"{PROJECT_SOURCE_DIR}/include", PROJECT_BINARY_DIR, f"{PROJECT_BINARY_DIR}/python"] + [f"{PROJECT_SOURCE_DIR}/{solver}/include" for solver in solver_libs],