Re: Feature request: command-line option to disable debugger