Fix DNS issue on Ubuntu 12.10
Merge pull request #547 from edx/will/devstack-dns-issue

Fix DNS issue on Ubuntu 12.10