Index: server/common/oursrc/execsys/mrproper
===================================================================
--- server/common/oursrc/execsys/mrproper	(revision 36)
+++ server/common/oursrc/execsys/mrproper	(revision 104)
@@ -1,5 +1,5 @@
 #!/bin/sh
 
-rm -f staticsys-cat
+rm -f static-cat
 rm -f configure config.* Makefile
 rm -rf auto*.cache