work around SSH connection problem