Fix SSH agents once and for all, probably.