Our local changes to GMP 3.1: disconnect the bits we're not interested in (mpf, mpq, tests subdirs etc.).