Change to venet and hardcode the nameserver of a lab430 network