--- Makefile.in.orig    Wed Jul 17 20:52:18 1996
+++ Makefile.in Wed Jul 17 20:53:41 1996
@@ -70,7 +70,8 @@
        for i in mpn mpz mpf mpq; \
          do \
            mkdir tmpdir/$$i; \
-           ( cd tmpdir/$$i; $(AR) x ../../$$i/lib$$i.a ); \
+           ( cd tmpdir/$$i; $(AR) x ../../$$i/lib$$i.a ; \
+             for f in *.o ; do mv $$f $$i.$$f; done ); \
          done
        cp $(OBJS) tmpdir
        cd tmpdir; $(AR) $(AR_FLAGS) $@ *.o */*.o