Configure GMP and Mingw32