Tweak to .ssh/config