Make ping() work with IPv6 addrs