Fix awk syntax, it fixes #3813
Simplify a bit ppp-linkup syntax