Fix build on non-SMP machines of the remote GDB debugging (#2666)