diff --git a/ocat b/ocat
index b080f9ac..6b6d31c7 100755
Binary files a/ocat and b/ocat differ
diff --git a/showdef.REMOVED.git-id b/showdef.REMOVED.git-id
index 41bcd30e..56555034 100644
--- a/showdef.REMOVED.git-id
+++ b/showdef.REMOVED.git-id
@@ -1 +1 @@
-e819f8b6e4a0181ed7338a5879ce0c6033d65c64
\ No newline at end of file
+4b5f8d5146f1388de2e19f19c67740b501de8193
\ No newline at end of file
diff --git a/voc.REMOVED.git-id b/voc.REMOVED.git-id
index f46ed408..21866516 100644
--- a/voc.REMOVED.git-id
+++ b/voc.REMOVED.git-id
@@ -1 +1 @@
-594af660e64af8116b17d04bf8fe958705a43388
\ No newline at end of file
+5e257c57f264f3105f3a24104e7d57fc95d703f6
\ No newline at end of file
diff --git a/vocstatic.linux.gcc.armv6j_hardfp.REMOVED.git-id b/vocstatic.linux.gcc.armv6j_hardfp.REMOVED.git-id
index fc565bce..21866516 100644
--- a/vocstatic.linux.gcc.armv6j_hardfp.REMOVED.git-id
+++ b/vocstatic.linux.gcc.armv6j_hardfp.REMOVED.git-id
@@ -1 +1 @@
-2668643a11fe56319e3f52b96308d1d71bef3c8c
\ No newline at end of file
+5e257c57f264f3105f3a24104e7d57fc95d703f6
\ No newline at end of file