Update paxos.orc