1 files changed, 39 insertions, 0 deletions
diff --git a/debian/patches/0003-exec-add-missing-includes.patch b/debian/patches/0003-exec-add-missing-includes.patch
new file mode 100644
index 00000000..44a0dcd5
--- /dev/null
+++ b/debian/patches/0003-exec-add-missing-includes.patch
@@ -0,0 +1,39 @@
+From 31b2a835f4ed563ae34a6bc07f5fa1dec9b0fa95 Mon Sep 17 00:00:00 2001
+From: Justus Winter <4winter@informatik.uni-hamburg.de>
+Date: Tue, 20 May 2014 16:02:59 +0200
+Subject: [PATCH 03/12] exec: add missing includes
+
+* exec/exec.c: Include mach/gnumach.h.
+* exec/main.c: Include device/device.h.
+---
+ exec/exec.c | 1 +
+ exec/main.c | 1 +
+ 2 files changed, 2 insertions(+)
+
+diff --git a/exec/exec.c b/exec/exec.c
+index b068f5e..2fc1e44 100644
+--- a/exec/exec.c
++++ b/exec/exec.c
+@@ -24,6 +24,7 @@ the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.  */
+ 
+ 
+ #include "priv.h"
++#include <mach/gnumach.h>
+ #include <hurd.h>
+ #include <hurd/exec.h>
+ #include <sys/stat.h>
+diff --git a/exec/main.c b/exec/main.c
+index 27f33b1..78faebd 100644
+--- a/exec/main.c
++++ b/exec/main.c
+@@ -21,6 +21,7 @@
+ 
+ #include "priv.h"
+ #include <error.h>
++#include <device/device.h>
+ #include <hurd/paths.h>
+ #include <hurd/startup.h>
+ #include <argp.h>
+-- 
+2.0.0.rc2
+