diff --git a/containers/debian/base.Dockerfile b/containers/debian/base.Dockerfile
index 0d17bde2..569b0be5 100644
--- a/containers/debian/base.Dockerfile
+++ b/containers/debian/base.Dockerfile
@@ -34,6 +34,7 @@ apt-get -yqq install --no-install-recommends                            \
         ccache                                                          \
         curl                                                            \
         file                                                            \
+        gawk                                                            \
         gdb                                                             \
         ghostscript                                                     \
         git                                                             \