modified libpaxos2 so that it compiles properly