[PPL-devel] ppl configure error