[PPL-devel] ppl/m4 ac_check_gmp.m4