diff --git a/Dockerfile b/Dockerfile
index abc9adb1d..e17cb5dd7 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -73,6 +73,7 @@ RUN	apt update && apt install -yqq \
 	ffmpeg \
     	nodejs \
 	gstreamer1.0-tools gstreamer1.0-plugins-good gstreamer1.0-plugins-base gstreamer1.0-plugins-bad \
+	procps \
 	"$(if [ "$BUILD_TARGET" != "stripped" ]; then echo "gdb"; fi)" \
 	&& rm -rf /var/lib/apt/lists/*