Manage /etc/gai.conf with Puppet