/gnu/lib/libgmp/mpn/m88k/