Re: [PPL-devel] ppl-0.11.2 install problems with GCC