Thu Mar 29 14:29:53 EDT 2012 geoff
    probably icmp6.c needs the same fix.