diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 922fb133a..f3d4bf7b0 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -117,14 +117,14 @@ jobs:
     inputs:
      artifactName: 'Ubuntu'
      targetPath: tmp
-  - task: GitHubRelease@0
-    inputs:
-      gitHubConnection: Z3GitHub
-      repositoryName: 'Z3Prover/z3'
-      action: 'delete'
-#     target: '$(Build.SourceVersion)'
-      tagSource: 'manual'
-      tag: 'Nightly'
+#  - task: GitHubRelease@0
+#    inputs:
+#      gitHubConnection: Z3GitHub
+#      repositoryName: 'Z3Prover/z3'
+#      action: 'delete'
+##     target: '$(Build.SourceVersion)'
+#      tagSource: 'manual'
+#      tag: 'Nightly'
   - task: GitHubRelease@0
     inputs:
       gitHubConnection: Z3GitHub
diff --git a/src/api/python/setup.py b/src/api/python/setup.py
index 9c40b103f..3bb911cf1 100644
--- a/src/api/python/setup.py
+++ b/src/api/python/setup.py
@@ -5,6 +5,7 @@ import platform
 import subprocess
 import multiprocessing
 import re
+import glob
 from setuptools import setup
 from distutils.util import get_platform
 from distutils.errors import LibError
@@ -142,6 +143,8 @@ def _copy_bins():
     os.mkdir(HEADERS_DIR)
     shutil.copy(os.path.join(BUILD_DIR, LIBRARY_FILE), LIBS_DIR)
     shutil.copy(os.path.join(BUILD_DIR, EXECUTABLE_FILE), BINS_DIR)
+    for filepath in glob.glob(os.path.join(BUILD_DIR, "msvcp*")) + glob.glob(os.path.join(BUILD_DIR, "vcomp*")):
+        shutil.copy(filepath, LIBS_DIR)
 
     for header_dir in HEADER_DIRS:
         for fname in os.listdir(header_dir):