How to kill an unresponsive ssh session