Changing Puppet-Dev's DNS settings