File konkretcmpi-gcc47.patch of Package konkretcmpi

Index: konkretcmpi-0.8.7/src/program/main.cpp
===================================================================
--- konkretcmpi-0.8.7.orig/src/program/main.cpp
+++ konkretcmpi-0.8.7/src/program/main.cpp
@@ -37,6 +37,7 @@
 #include <cstdarg>
 #include <map>
 #include <cassert>
+#include <unistd.h>
 
 using namespace std;