Use different debugger