--- a/scripts/update_api.py	2020-09-10 12:51:28.000000000 -0600
+++ b/scripts/update_api.py	2020-12-25 17:03:00.196777823 -0700
@@ -1755,15 +1755,15 @@ def write_core_py_preamble(core_py):
 # Automatically generated file
 import sys, os
 import ctypes
-import pkg_resources
+import sysconfig
 from .z3types import *
 from .z3consts import *
 
-_ext = 'dll' if sys.platform in ('win32', 'cygwin') else 'dylib' if sys.platform == 'darwin' else 'so'
+_ext = 'dll' if sys.platform in ('win32', 'cygwin') else 'dylib' if sys.platform == 'darwin' else 'so.@MAJVER@'
 _lib = None
 _default_dirs = ['.',
                  os.path.dirname(os.path.abspath(__file__)),
-                 pkg_resources.resource_filename('z3', 'lib'),
+                 sysconfig.get_config_var('LIBDIR'),
                  os.path.join(sys.prefix, 'lib'),
                  None]
 _all_dirs = []