batchupdate/servers.conf