diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index d2d9dd983..5cfcbb4d3 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -1425,6 +1425,8 @@ class MLComponent(Component):
                 else:
                     out.write('.so') # .so also on OSX!
                 out.write(' ' + get_component(Z3_DLL_COMPONENT).dll_name + '$(SO_EXT)')
+                if IS_WINDOWS:
+                    out.write(' ' + get_component(Z3_DLL_COMPONENT).dll_name + '$(LIB_EXT)')
                 out.write('\n\n')
     
     def main_component(self):