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 b/showdef
deleted file mode 100755
index 4ee75500..00000000
Binary files a/showdef and /dev/null differ