/contrib/libgmp/mpq/