diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index 309b08297..a86499149 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -1505,6 +1505,9 @@ class PythonInstallComponent(Component):
                                            os.path.join(self.pythonPkgDir, 'z3', '__pycache__', '*.pyc'),
                                            in_prefix=self.in_prefix_install
                                           )
+        MakeRuleCmd.remove_installed_files(out,
+                                           os.path.join(self.pythonPkgDir, 'z3', 'lib',
+                                                        self.libz3Component.dll_file()))
 
     def mk_makefile(self, out):
         return