pppd: add noipdefault option to /etc/ppp/options (fixes #11499)