Making bash exit more forcefully over ssh.