Update mutex leader server; run it before others