Make HS-leader-election compile.