--- poppler/SignatureInfo.cc.orig	2018-06-27 14:34:38.913322007 +0200
+++ poppler/SignatureInfo.cc	2018-06-27 14:35:02.480233646 +0200
@@ -13,6 +13,7 @@
 
 #include <config.h>
 
+#include <prtypes.h>
 #include "SignatureInfo.h"
 #include "goo/gmem.h"
 #include <stdlib.h>