For now, just add precompiled mpir.lib