diff --git a/src/scripts/docker/Dockerfile b/src/scripts/docker/Dockerfile
index 9da4aa754..d453f423d 100644
--- a/src/scripts/docker/Dockerfile
+++ b/src/scripts/docker/Dockerfile
@@ -35,9 +35,9 @@ RUN echo "[+] Download, build and install Bitwuzla" && \
     git clone https://github.com/bitwuzla/bitwuzla.git && \
     cd bitwuzla && \
     git checkout -b 0.2.0 0.2.0 && \
-    CC=clang CXX=clang++ PATH=$PATH:/opt/_internal/cpython-3.10.13/bin python3.10 ./configure.py --shared --prefix $(pwd)/install && \
+    CC=clang CXX=clang++ PATH=$PATH:/opt/_internal/cpython-3.10.*/bin python3.10 ./configure.py --shared --prefix $(pwd)/install && \
     cd build && \
-    PATH=$PATH:/opt/_internal/cpython-3.10.13/bin ninja install
+    PATH=$PATH:/opt/_internal/cpython-3.10.*/bin ninja install
 
 # Download Z3.
 RUN echo "[+] Download Z3" && \
@@ -53,4 +53,3 @@ RUN echo "[+] Download, build and install Capstone" && \
     cd ./capstone-5.0.1 && \
     ./make.sh && \
     sudo make install
-