The pitfalls of using ssh-agent, or how to use an agent safely