Adding a default gateway in Linux