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