diff --git a/ocat b/ocat
index 11a4c91f..6cbe071c 100755
Binary files a/ocat and b/ocat differ
diff --git a/showdef.REMOVED.git-id b/showdef.REMOVED.git-id
index 81f7e60d..9c3d430f 100644
--- a/showdef.REMOVED.git-id
+++ b/showdef.REMOVED.git-id
@@ -1 +1 @@
-f5fd9a8471482e945d275319e4740da9a07a053f
\ No newline at end of file
+b8912125a0cc6b1d7322b4e8f0651f41ece55412
\ No newline at end of file
diff --git a/src/lib/system/linux/clang/Console.Mod b/src/lib/system/linux/clang/Console.Mod
index e523ef7b..9b6b6611 100644
--- a/src/lib/system/linux/clang/Console.Mod
+++ b/src/lib/system/linux/clang/Console.Mod
@@ -7,6 +7,10 @@ MODULE Console;  (* J. Templ, 29-June-96 *)
   VAR line: ARRAY 128 OF CHAR;
     pos: INTEGER;
 
+  (* for read(), write() *)
+  PROCEDURE -includeUnistd()
+    "#include <unistd.h>";
+
   PROCEDURE -Write(adr, n: LONGINT)
     "write(1/*stdout*/, adr, n)";
 
diff --git a/src/lib/system/linux/clang/x86_64/Unix.Mod b/src/lib/system/linux/clang/x86_64/Unix.Mod
index 7dfde70d..2e3099ce 100644
--- a/src/lib/system/linux/clang/x86_64/Unix.Mod
+++ b/src/lib/system/linux/clang/x86_64/Unix.Mod
@@ -313,6 +313,14 @@ from man gettimeofday
   PROCEDURE -includeErrno()
     "#include <errno.h>";
 
+  (* for read(), write() *)
+  PROCEDURE -includeUnistd()
+    "#include <unistd.h>";
+
+  (* for system() *)
+  PROCEDURE -includeStdlib()
+    "#include <stdlib.h>";
+
   PROCEDURE -err(): LONGINT
     "errno";
 
diff --git a/voc.REMOVED.git-id b/voc.REMOVED.git-id
index 4358417c..09127b81 100644
--- a/voc.REMOVED.git-id
+++ b/voc.REMOVED.git-id
@@ -1 +1 @@
-9986ddb20ed214b5db77e1a3ff72ac05bb12f8af
\ No newline at end of file
+675d9ee513e6424d707a4e82ff97bddacb103fcc
\ No newline at end of file
diff --git a/vocstatic.linux.clang.x86_64.REMOVED.git-id b/vocstatic.linux.clang.x86_64.REMOVED.git-id
index 4358417c..09127b81 100644
--- a/vocstatic.linux.clang.x86_64.REMOVED.git-id
+++ b/vocstatic.linux.clang.x86_64.REMOVED.git-id
@@ -1 +1 @@
-9986ddb20ed214b5db77e1a3ff72ac05bb12f8af
\ No newline at end of file
+675d9ee513e6424d707a4e82ff97bddacb103fcc
\ No newline at end of file