more robust ssh agent configuration