Fix to bug #5533 in connection plugin 'ssh_alt'