don't test paxos on 1.2