Update paxos.c