Changing server name in puppet.conf