Fixes #7085 - name options for puppet proxies in hostgroup