ping reports correct times but wrong icmp_type; i.e. weird