Re: [mpiwg-tools] Debugger spawn