Add int hostnames in deploy-branch.mako.cfg