updated to work with later version of debugger