--- read_buf.c.orig	2003-05-05 08:02:23.000000000 +1000
+++ read_buf.c	2020-12-15 03:06:21.000000000 +1100
@@ -7,6 +7,7 @@
 #include <fcntl.h>
 #include <errno.h>
 #include <stdio.h>
+#include <string.h>
 
 static int Infile_is_open=0;
 static int Infd=STDIN_FILENO;
--- write_buf.c.orig	2003-05-05 08:02:23.000000000 +1000
+++ write_buf.c	2020-12-15 03:10:03.000000000 +1100
@@ -9,6 +9,7 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <errno.h>
+#include <string.h>
 
 #ifndef O_NOFOLLOW
 #define O_NOFOLLOW 0
@@ -82,6 +83,7 @@ int write_buf (const char* buffer, int w
       sleep (1);
     }
   }
+  return 0;
 }
 
 #ifdef COMPILER_CAN_READ_PSEUDOCODE