tweaked the script that kills the ssh agent when a shell drops