murphy: update to match changed domain-controller signatures.