Programs: dune-mobile-inet.sh: Added option to disable NAT, improved ppp_get_ip().