--- mbuffer.c	2012-11-16 11:17:11.000000000 +0100
+++ mbuffer.c.oden	2013-01-04 11:51:49.162864866 +0100
@@ -48,6 +48,7 @@ typedef int caddr_t;
 #include <sys/time.h>
 #include <termios.h>
 #include <unistd.h>
+#include <stdint.h>
 
 
 #ifdef __FreeBSD__
@@ -1122,7 +1123,7 @@ static int checkIncompleteOutput(int out
 
 
 
-static void terminateOutputThread(dest_t *d, int status)
+static void terminateOutputThread(dest_t *d, intptr_t status)
 {
 	int err;