Cleanup of ugly way to get ICMP data size in case of an ECHO request (ping)