* server.c (handle_v_run): If GDB didn't specify an argv, use the