make /dev/ppp if necessary