> Somebody knows a workaround to fix it? try replacing #ifdef NEED_MPZ_MUL_SI by #if 0 Paul Zimmermann