Deal with recent features of ifupdown and /etc/network/interfaces