adding alias to kill ssh-agent, the PID isn't getting exported right and so ssh-agent -k doesn't work