diff --git a/docker/mongotools/Dockerfile b/docker/mongotools/Dockerfile
index f0d9fc3a2..819306a43 100644
--- a/docker/mongotools/Dockerfile
+++ b/docker/mongotools/Dockerfile
@@ -1,5 +1,5 @@
 FROM debian:stable-slim
-RUN apt-get update && apt-get -y install curl
+RUN apt-get update && apt-get -y install curl && apt install krb5-user
 ENV WDIR=/data/mongo
 WORKDIR $WDIR
 # download mongodb tools