diff --git a/workbench/Dockerfile b/workbench/Dockerfile
index c87b12c081721b1b87db6059c344437e5ee3a06e..30d34769323b7fc310d37a941c79e559068f2ee5 100644
--- a/workbench/Dockerfile
+++ b/workbench/Dockerfile
@@ -138,6 +138,7 @@ RUN apt-get update && \
         task-hebrew \
         task-ssh-server \
         telnet \
+        terraform=1.5.7-1 \
         time \
         tk-dev \
         tmux \
@@ -159,7 +160,6 @@ RUN apt-get update && \
         xdg-user-dirs \
         zip \
     && \
-    ln -s "$(command -v tofu)" /usr/local/bin/terraform && \
     rm /etc/ssh/ssh_host_* && \
     rm -rf /tmp/* /var/tmp/* /var/lib/apt/lists/* /var/cache/apt/archives/*
 ENV PIPX_HOME /opt/pipx