Add libpaxos messages.