Two-machine GDB debugging results in frequent hangs