diff --git a/containers/debian/base.Dockerfile b/containers/debian/base.Dockerfile
index 0d17bde251c3f55a49bbbcec2610102e7148ef21..569b0be50faf601f0b8fd2d816041ad8aadf7349 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                                                             \