Ensure that wsh_ssh_exec_wshd does the right thing on exec failure