conform to RFC5952 when printing IPv6 addresses