Re: [PPL-devel] Can't find GMP, but it's installed