fixed bug with mpir-config-options on 32 bit guests