fix a broken domain-server build