Re: [PPL-devel] why ppl configure fails