vagrant-dns not used