diff --git a/package/docker/Dockerfile b/package/docker/Dockerfile
index 51e82c516..ac29bbad1 100644
--- a/package/docker/Dockerfile
+++ b/package/docker/Dockerfile
@@ -3,7 +3,7 @@ ARG DISTRO
 FROM runtimeverificationinc/kframework-k:ubuntu-${DISTRO}-${K_COMMIT}
 
 RUN    apt-get update        \
-    && apt-get upgrade       \
+    && apt-get upgrade --yes \
     && apt-get install --yes \
                 autoconf     \
                 libgmp-dev   \