Re: Build of HEAD fails in integer-gmp