Construct DHCP host names such that they're unique