Index: server/common/oursrc/execsys/upd-execsys
===================================================================
--- server/common/oursrc/execsys/upd-execsys	(revision 26)
+++ server/common/oursrc/execsys/upd-execsys	(revision 104)
@@ -107,10 +107,10 @@
 close(CONF);
 
-open(CAT, "./staticsys-cat.c.pre");
+open(CAT, "./static-cat.c.pre");
 $file = <CAT>;
 ($fstart, $fend) = ($file =~ /$regexp/s);
 close(CAT);
 
-open(CAT, ">./staticsys-cat.c");
+open(CAT, ">./static-cat.c");
 print CAT $fstart, "\n";
 print CAT '#define NEXTS ', scalar(@static), "\n";