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