CLIPS fixed with new autoconf and libtool to make libraries and program