little tweaking to the interface of remote debugging