Make it easier to tidy up ssh connections