Re: GNU MP not found (mingw)