enable MagicHash extension in integer-gmp