Problem illustration for vagrant-dns plugin bug (https://github.com/BerlinVagrant/vagrant-dns/issues/27)