Update local SSH hostnames
7ad64f4141eb04b24543913f7f70ace61e6da470
384e7cbb5228574592950e830d7f20567303dc0d