$NetBSD$

--- Makefile.orig	2007-10-22 21:33:12.000000000 +0000
+++ Makefile
@@ -6,7 +6,7 @@ all:
 	cd mace4.src    && $(MAKE) all
 	cd provers.src  && $(MAKE) all
 	cd apps.src     && $(MAKE) all
-	/bin/cp -p utilities/* bin
+	cp -p utilities/* bin
 	@echo ""
 	@echo "**** Now try 'make test1'. ****"
 	@echo ""
