Eliminate cmdline_argc/cmdline_argv since they're not really needed.