Re: build failure, GMP not available

[Eric Christopher]

I ended up including both your preference and mine.  Hopefully one or
other other (or both) end up being useful to users.

Thanks, this will help with some of the questions I received  
internally today.

-eric