Need to declare Debugger.rm_protocol_extensions