Fix Name Service Issue

Issue is described here: http://askubuntu.com/questions/238040/how-do-i-fix-name-service-for-vagrant-client