From ec78959ceea427c10cb53011fee32d485f637b35 Mon Sep 17 00:00:00 2001
From: Lars Olzem <hackebein@gmail.com>
Date: Thu, 31 May 2018 03:08:42 +0100
Subject: [PATCH] fix minimal build

---
 minimal/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/minimal/Dockerfile b/minimal/Dockerfile
index 366ab67..e141711 100644
--- a/minimal/Dockerfile
+++ b/minimal/Dockerfile
@@ -20,7 +20,7 @@ ENV BASEDIR=$BASEDIR \
     CUSTOMPARAMETERS=""
 
 RUN apt-get update -q \
- && apt-get install -yqq lib32tinfo5 gdb \
+ && apt-get install -yqq lib32tinfo5 paxctl \
  && apt-get clean \
  && rm -rf \
         /tmp/* \