[PPL-devel] configure problem in ppl -problem persists