ensure that /etc/hosts is output deterministically, so that content does not change each time you deploy.