diff --git a/ocat b/ocat
deleted file mode 100755
index 02aef67b..00000000
Binary files a/ocat and /dev/null differ
diff --git a/showdef.REMOVED.git-id b/showdef.REMOVED.git-id
deleted file mode 100644
index 43446ffb..00000000
--- a/showdef.REMOVED.git-id
+++ /dev/null
@@ -1 +0,0 @@
-4ee75500ce753254016e0f3e168c4f528b4a0f5c
\ No newline at end of file