corerct url for irc tunnel in ssh config