[PPL-devel] [Fwd: Re: warning GMP -fexception message on configure]