--- Makefile.in	2002-08-29 20:24:46.000000000 +0100
+++ Makefile.in.patched	2002-12-05 13:33:24.000000000 +0000
@@ -3,7 +3,7 @@
 all:
 	${MAKE} -C src/moab all
 	${MAKE} -C src/server all
-	${MAKE} -C src/server setup   
+#	${MAKE} -C src/server setup   
 
 clean:
 	${MAKE} -C src/moab clean