[#2318883] by jthorson: Fix dns resolution in Vagrant with Virtualbox provider