conform to RFC5952 when printing some IPv6 addresses