Ubuntu

Comment 2 for bug 243384

Of course, /etc/ppp/ip-down has exactly the same problem.
Find attached a patch fixing this, too.