small debugger improvements (no crashes at shutdown)