add linux 32 bit mpfr

@andreistefanescu please review