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