Re: [PPL-devel] ppl fails to complete configure ...