Updated obsolete code in the ICMP verificaiton driver