Index: trunk/server/common/oursrc/execsys/mrproper
===================================================================
--- trunk/server/common/oursrc/execsys/mrproper	(revision 1119)
+++ trunk/server/common/oursrc/execsys/mrproper	(revision 1337)
@@ -3,4 +3,4 @@
 rm -f static-cat
 rm -f configure config.* Makefile
-rm -f execsys-binfmt static-cat.c execsys.conf
+rm -f static-cat.c execsys.conf
 rm -rf auto*.cache