diff --git a/scripts/mk_make.py b/scripts/mk_make.py
index 79011df36..5ca2c42d7 100644
--- a/scripts/mk_make.py
+++ b/scripts/mk_make.py
@@ -63,7 +63,7 @@ add_lib('api', ['portfolio', 'user_plugin'])
 add_exe('shell', ['api', 'sat', 'extra_cmds'], exe_name='z3')
 add_exe('test', ['api', 'fuzzing'], exe_name='test-z3')
 API_files = ['z3_api.h']
-add_dll('api_dll', ['api', 'sat', 'extra_cmds'], 'api/dll', reexports=['api'], dll_name='z3', export_files=API_files)
+add_dll('api_dll', ['api', 'sat', 'extra_cmds'], 'api/dll', reexports=['api'], dll_name='libz3', export_files=API_files)
 add_dot_net_dll('dotnet', ['api_dll'], 'bindings/dotnet/Microsoft.Z3', dll_name='Microsoft.Z3', assembly_info_dir='Properties')
 add_dot_net_dll('dotnetV3', ['api_dll'], 'bindings/dotnet/Microsoft.Z3V3', dll_name='Microsoft.Z3V3')
 set_python_dir('bindings/python')
diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index 47b88f610..95f99f216 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -347,10 +347,7 @@ class DLLComponent(Component):
         global _Name2Component
         Component.mk_makefile(self, out)
         # generate rule for (SO_EXT)
-        if IS_WINDOW:
-            dllfile = '%s$(SO_EXT)' % self.dll_name
-        else:
-            dllfile = 'lib%s$(SO_EXT)' % self.dll_name
+        dllfile = '%s$(SO_EXT)' % self.dll_name
         out.write('%s:' % dllfile)
         deps = sort_components(self.deps)
         objs = []
diff --git a/scripts/update_api.py b/scripts/update_api.py
index a5a218d3c..90c7ebe0c 100644
--- a/scripts/update_api.py
+++ b/scripts/update_api.py
@@ -60,7 +60,7 @@ core_py.write('from z3consts import *\n')
 core_py.write("""
 def _find_lib():
   _dir = os.path.dirname(os.path.abspath(__file__))
-  libs = ['z3.dll', 'libz3.so', 'libz3.dylib']
+  libs = ['libz3.dll', 'libz3.so', 'libz3.dylib']
   if sys.maxsize > 2**32:
     locs = [_dir, '%s%s..%sx64%sexternal' % (_dir, os.sep, os.sep, os.sep), '%s%s..%sbin%sexternal' % (_dir, os.sep, os.sep, os.sep)]
   else: