Re: [PPL-devel] the latest ppl git configure script has something wrong