diff --git a/build/ci/Dockerfile b/build/ci/Dockerfile
index 81101de..f2aef95 100644
--- a/build/ci/Dockerfile
+++ b/build/ci/Dockerfile
@@ -32,10 +32,11 @@
 	nc \
 	python-unversioned-command \
 	openssl-devel \
-	java-11-openjdk-headless
+	java-11-openjdk-headless \
+	tini
 
 
-# (java-11-openjdk-headless is required for the Jenkins CI agent)
+# (java-11-openjdk-headless and tini are required for the Jenkins CI agent)
 
 
 # Create CI build user. This is not used by scripts/bin/bazel, but instead only