Index: server/common/oursrc/tokensys/mrproper
===================================================================
--- server/common/oursrc/tokensys/mrproper	(revision 36)
+++ server/common/oursrc/tokensys/mrproper	(revision 56)
@@ -1,4 +1,5 @@
 #!/bin/sh
 
-rm -f configure config.* Makefile renew
+rm -f renew
+rm -f configure config.* Makefile
 rm -rf auto*.cache