modify debugger/README