updated ssh/config with AAAA dns record names