diff --git a/cryptol-remote-api/Dockerfile b/cryptol-remote-api/Dockerfile
index 0e66e29a3..32b6ca6e5 100644
--- a/cryptol-remote-api/Dockerfile
+++ b/cryptol-remote-api/Dockerfile
@@ -33,7 +33,10 @@ RUN ghcup install cabal ${CABALVER} --set
 ENV PATH=/root/.cabal/bin:$PATH
 ADD ./cryptol-remote-api/ghc-portability.patch .
 ARG GHCVER
+ARG CABALVER
 ARG GHCVER_BOOTSTRAP
+ARG ALEXVER
+ARG HAPPYVER
 RUN if ${PORTABILITY}; then \
         ghcup install ghc ${GHCVER_BOOTSTRAP} && \
         ghcup set ghc ${GHCVER_BOOTSTRAP} && \