Update tcp_ipv6.c