diff --git a/lib/api.py b/lib/api.py
index 8571759a4..61d176197 100644
--- a/lib/api.py
+++ b/lib/api.py
@@ -60,7 +60,7 @@ def _find_lib():
      winlibdir = 'x64'
   else:
      winlibdir = 'bin'
-  locs = [_dir, '%s%s..%s%s' % (_dir, os.sep, os.sep, winlibdir), '%s%s..%slib' % (_dir, os.sep, os.sep), '%s%s..%sexternal' % (_dir, os.sep, os.sep)]
+  locs = [_dir, '%s%s..%s%s' % (_dir, os.sep, os.sep, winlibdir), '%s%s..%slib' % (_dir, os.sep, os.sep), '%s%s..%sexternal' % (_dir, os.sep, os.sep), '%s%s..%sbin%sexternal' % (_dir, os.sep, os.sep, os.sep)]
   for loc in locs:
     for lib in libs:
       f = '%s%s%s' % (loc, os.sep, lib)
diff --git a/python/z3core.py b/python/z3core.py
index 574823cfa..e60edee5a 100644
--- a/python/z3core.py
+++ b/python/z3core.py
@@ -11,7 +11,7 @@ def _find_lib():
      winlibdir = 'x64'
   else:
      winlibdir = 'bin'
-  locs = [_dir, '%s%s..%s%s' % (_dir, os.sep, os.sep, winlibdir), '%s%s..%slib' % (_dir, os.sep, os.sep), '%s%s..%sexternal' % (_dir, os.sep, os.sep)]
+  locs = [_dir, '%s%s..%s%s' % (_dir, os.sep, os.sep, winlibdir), '%s%s..%slib' % (_dir, os.sep, os.sep), '%s%s..%sexternal' % (_dir, os.sep, os.sep), '%s%s..%sbin%sexternal' % (_dir, os.sep, os.sep, os.sep)]
   for loc in locs:
     for lib in libs:
       f = '%s%s%s' % (loc, os.sep, lib)