bugfixes to working debugger