Re: [PPL-devel] [Bug Report] GMP and PPL mismatches