Latest GMP sources for building cross-compilers for Android