improve DNS under Virtualbox