Now forwards AR to the gmp sub-make, since automake generates broken Makefile.in's. Rev: Makefile.in:1.94