diff --git a/scripts/docker/Dockerfile.smlp-test-build-ubuntu_24.04-python311 b/scripts/docker/Dockerfile.smlp-test-build-ubuntu_24.04-python311
index 2871df27..18087e39 100644
--- a/scripts/docker/Dockerfile.smlp-test-build-ubuntu_24.04-python311
+++ b/scripts/docker/Dockerfile.smlp-test-build-ubuntu_24.04-python311
@@ -78,12 +78,10 @@ RUN ./validate.sh
 # 7. ─── Validate Z3 version   ──────────────────────────────────────────────────────────────
 ENV PATH=/home/${USERNAME}/.venv/bin:${PATH} 
 RUN printf '#!/usr/bin/env python3.11\n' > z3_version.py \
-    && printf 'from glob import glob\n' >> z3_version.py \
     && printf 'from ctypes import cdll, c_char_p\n'  >> z3_version.py \
-    && printf 'from os.path import dirname\n' >> z3_version.py \
-    && printf 'import smlp\n' >> z3_version.py \
-    && printf 'libz3=cdll.LoadLibrary(glob(dirname(dirname(smlp.__file__)) + "/smlptech.libs/" + "libz3*so")[0])\n' >> z3_version.py \
-    && printf 'z3_version=libz3.Z3_get_full_version\n' >> z3_version.py \
+    && printf 'from smlp import core\n' >> z3_version.py \
+    && printf 'libsmlp=cdll.LoadLibrary(core.libsmlp.__file__)\n' >> z3_version.py \
+    && printf 'z3_version=libsmlp.Z3_get_full_version\n' >> z3_version.py \
     && printf 'z3_version.restype=c_char_p\n' >> z3_version.py \
     && printf 'print(z3_version().decode())\n' >> z3_version.py \
     && chmod +x z3_version.py && ./z3_version.py
diff --git a/scripts/venv/Dockerfile.readme_system b/scripts/venv/Dockerfile.readme_system
index 1425b9c7..639a1727 100644
--- a/scripts/venv/Dockerfile.readme_system
+++ b/scripts/venv/Dockerfile.readme_system
@@ -16,12 +16,10 @@ WORKDIR /home/${USERNAME}
 COPY README_system.sourceme .
 RUN bash -c 'source README_system.sourceme'
 RUN printf '#!/usr/bin/env python3.11\n' > z3_version.py \
-    && printf 'from glob import glob\n' >> z3_version.py \
     && printf 'from ctypes import cdll, c_char_p\n'  >> z3_version.py \
-    && printf 'from os.path import dirname\n' >> z3_version.py \
     && printf 'from smlp import core\n' >> z3_version.py \
-    && printf 'libz3=cdll.LoadLibrary(glob(dirname(dirname(dirname(core.__file__))) + "/smlptech.libs/" + "libz3*so")[0])\n' >> z3_version.py \
-    && printf 'z3_version=libz3.Z3_get_full_version\n' >> z3_version.py \
+    && printf 'libsmlp=cdll.LoadLibrary(core.libsmlp.__file__)\n' >> z3_version.py \
+    && printf 'z3_version=libsmlp.Z3_get_full_version\n' >> z3_version.py \
     && printf 'z3_version.restype=c_char_p\n' >> z3_version.py \
     && printf 'print(z3_version().decode())\n' >> z3_version.py \
     && chmod +x z3_version.py
diff --git a/scripts/venv/Dockerfile.readme_venv b/scripts/venv/Dockerfile.readme_venv
index 4fb6ecbb..4c6b9c5c 100644
--- a/scripts/venv/Dockerfile.readme_venv
+++ b/scripts/venv/Dockerfile.readme_venv
@@ -17,12 +17,10 @@ COPY README_venv.sourceme .
 RUN bash -c 'source README_venv.sourceme'
 ENV PATH=/home/${USERNAME}/.venv/bin:${PATH}
 RUN printf '#!/usr/bin/env python3.11\n' > z3_version.py \
-    && printf 'from glob import glob\n' >> z3_version.py \
     && printf 'from ctypes import cdll, c_char_p\n'  >> z3_version.py \
-    && printf 'from os.path import dirname\n' >> z3_version.py \
     && printf 'from smlp import core\n' >> z3_version.py \
-    && printf 'libz3=cdll.LoadLibrary(glob(dirname(dirname(dirname(core.__file__))) + "/smlptech.libs/" + "libz3*so")[0])\n' >> z3_version.py \
-    && printf 'z3_version=libz3.Z3_get_full_version\n' >> z3_version.py \
+    && printf 'libsmlp=cdll.LoadLibrary(core.libsmlp.__file__)\n' >> z3_version.py \
+    && printf 'z3_version=libsmlp.Z3_get_full_version\n' >> z3_version.py \
     && printf 'z3_version.restype=c_char_p\n' >> z3_version.py \
     && printf 'print(z3_version().decode())\n' >> z3_version.py \
     && chmod +x z3_version.py