diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index 1391eee87..87d766e55 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -2460,7 +2460,7 @@ def mk_config():
         check_ar()
         CXX = find_cxx_compiler()
         CC  = find_c_compiler()
-        SLIBEXTRAFLAGS = ''
+        SLIBEXTRAFLAGS = '-Wl,-soname,libz3.so'
         EXE_EXT = ''
         LIB_EXT = '.a'
         if GPROF: