modify makefile.am in libpaxos