added shorter host entries to .ssh/config file