ssh-with-reverse-proxy(): don't make bash a login shell