Re: [PPL-devel] Difficulty compiling PPL