diff --git a/ghdl-formal.Dockerfile b/ghdl-formal.Dockerfile
index 0a17d63..14d976e 100644
--- a/ghdl-formal.Dockerfile
+++ b/ghdl-formal.Dockerfile
@@ -51,6 +51,7 @@ RUN apt-get update -qq && \
     zlib1g-dev \
     make \
     python3 \
+    libssl-dev \
     libpython2.7 && \
     apt-get -y upgrade && apt-get autoclean && apt-get clean && apt-get -y autoremove && \
     update-ca-certificates && \
diff --git a/symbiyosys.Dockerfile b/symbiyosys.Dockerfile
index e2f96ca..c862637 100644
--- a/symbiyosys.Dockerfile
+++ b/symbiyosys.Dockerfile
@@ -53,6 +53,7 @@ RUN apt-get update -qq && \
     g++ \
     python-setuptools \
     python-pip \
+    python-wheel \
     mercurial && \
     apt-get autoclean && apt-get clean && apt-get -y autoremove && \
     rm -rf /var/lib/apt/lists/* && \