working around a broken version of debugger