only set gmp ABI on 32bit linux