From bd01b821ec8fa64d7ebf1338a960553508e4feef Mon Sep 17 00:00:00 2001
From: jonaswinkler <jonas.winkler@jpwinkler.de>
Date: Mon, 28 Dec 2020 23:24:08 +0100
Subject: [PATCH] possible fix for #201

---
 docker/local/Dockerfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docker/local/Dockerfile b/docker/local/Dockerfile
index a8e991d8c..9fc71abc7 100644
--- a/docker/local/Dockerfile
+++ b/docker/local/Dockerfile
@@ -9,6 +9,7 @@ RUN apt-get update \
   && apt-get -y --no-install-recommends install \
 		build-essential \
 		curl \
+		file \
 		fonts-liberation \
 		ghostscript \
 		gnupg \