MinGW portability fixes # 2 (for Makefile)
MinGW portability fixes # 1
GMP is not worth the trouble for MinGW builds (revisit later)