debugger-agent: better header