Re: [PPL-devel] suggestion for a ppl configure enhancement