gcl/gmp3/mpn/powerpc64
