fix a broken build in the domain-server