diff --git a/mach/compare b/mach/compare
new file mode 100755
index 00000000..32b8be1b
--- /dev/null
+++ b/mach/compare
@@ -0,0 +1,2 @@
+MACH=`(cd .. ; basename \`pwd\`)`
+cmp $1 ../../../lib/${MACH}/$1
diff --git a/mach/install b/mach/install
new file mode 100755
index 00000000..0358e56f
--- /dev/null
+++ b/mach/install
@@ -0,0 +1,7 @@
+MACH=`(cd .. ; basename \`pwd\`)`
+if cp $1 ../../../lib/${MACH}/$1
+then
+	set -
+	ranlib ../../../lib/${MACH}/$1 >/dev/null 2>&1
+	exit 0
+fi