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