Bug fixes to cmd_send_test_ctl_solution