Make bitvis ipv6 aware.