Fix to bug #5533 in connection plugin 'ssh'