I seem to also be using that same "gmp" branch from their repo-usage page, but I wasn't updating it properly on my machine (fixed now). I thought something was going awry but failed to track it down. Sorry.
In any case ... I think it's (well past) time for me to bow out of doing these updates. I gather you're dealing with it anyway, so will you take over the commits? Thanks, Karl
