Fix for ssh processes not getting killed