fix domain name parsing in Linux ping