python: fix merge confliction of #1073
diff --git a/bindings/python/setup.py b/bindings/python/setup.py
index 101d0af..3c308f4 100755
--- a/bindings/python/setup.py
+++ b/bindings/python/setup.py
@@ -144,7 +144,10 @@
         os.system("CAPSTONE_BUILD_CORE_ONLY=yes bash ./make.sh")
 
     shutil.copy(VERSIONED_LIBRARY_FILE, os.path.join(LIBS_DIR, LIBRARY_FILE))
-    if STATIC_LIBRARY_FILE: shutil.copy(STATIC_LIBRARY_FILE, LIBS_DIR)
+    # only copy static library if it exists (it's a build option)
+    if STATIC_LIBRARY_FILE and os.path.exists(STATIC_LIBRARY_FILE):
+        shutil.copy(STATIC_LIBRARY_FILE, LIBS_DIR)
+    shutil.copy(LIBRARY_FILE, LIBS_DIR)
     os.chdir(cwd)