Little fixes for remote debugger