[PPL-devel] ppl-0.11 configure warning