Better ssh agent socket for tmux