Fix DNS issue on Ubuntu 12.10