libpaxos somewhat works with zebralite