--- zorba-2.2.0.orig/bin/debugger/process_listener.h 2012-03-21 01:56:17.000000000 +0100 +++ zorba-2.2.0/bin/debugger/process_listener.h 2012-05-30 22:01:19.336623357 +0200 @@ -22,6 +22,7 @@ #ifdef ZORBA_HAVE_PTHREAD_H # include # include +# include typedef pthread_t ThreadId; typedef pid_t ProcessId; typedef int ExitCode;