fix, once and for all and forever, ssh problems with a weird kludge