adapt mpaxos to the new rpc framework