Second update to libpaxos2