Fix slow DNS lookup in VirtualBox