fix bug #116, #103: try to keep ordering in /etc/network/interfaces