this prevents servers that use arguments specified in named.args from appearing different in 'ps' output from servers run with arguments from start.pl