Better SSH-Agent startup