diff --git a/docker/dreal4/Dockerfile.dreal4 b/docker/dreal4/Dockerfile.dreal4
index ea6dbce1..bc67effd 100644
--- a/docker/dreal4/Dockerfile.dreal4
+++ b/docker/dreal4/Dockerfile.dreal4
@@ -74,7 +74,7 @@ RUN cd /dreal4 \
       && pip3 install wheel \
       && pip3 install --upgrade pip \
       && python3 setup.py bdist_wheel \
-      && DREAL_WHEEL=dreal-*-cp38-none-manylinux_$(ldd --version | grep '^ldd' | sed -E 's/^ldd.*([0-9]+)\.([0-9]+)$/\1_\2/')_$(arch).whl \
+      && DREAL_WHEEL=dreal-$(python3 setup.py --version)-cp38-none-manylinux_$(ldd --version | grep '^ldd' | sed -E 's/^ldd.*([0-9]+)\.([0-9]+)$/\1_\2/')_$(arch).whl \
       && cp ./dist/$DREAL_WHEEL /tmp/$DREAL_WHEEL \
       && pip3 install ./dist/$DREAL_WHEEL \
       && bazel clean --expunge \