Bug in ssh-agent handling