Made ssh-agent plugin more robust
Fixed shared bash history