v7.2 fix bug in paxos, it is now fast