Configuring an IPv4 over IPv6 manual tunnel