Fix debugger initialization for 0.10.
Debugger: better names.