--- /dev/null
+diff -u -r ../gdb-7.6.2/gdb/proc-service.c ./gdb/proc-service.c
+--- ../gdb-7.6.2/gdb/proc-service.c 2013-12-08 05:33:13.000000000 +0100
++++ ./gdb/proc-service.c 2014-01-07 16:43:01.866311352 +0100
+@@ -27,7 +27,6 @@
+
+ #include "gdb_proc_service.h"
+
+-#include <sys/procfs.h>
+
+ /* Prototypes for supply_gregset etc. */
+ #include "gregset.h"