Re: [PPL-devel] Problem comiling ppl 0.10.2