[jabley] Apparently Vagrant DNS is better now