Problem with running benchmarks from gmpbench 0.2

[Lance W. Patterson]

>I suspect patching went wrong somehow, or that things were not rebuilt properly.
>ftp://ftp.gmplib.org/pub/snapshot/gmp-5.1.0-20121226.tar.xz
I have compared the original file, the patched file, from the second patch, and this updated file.  They are all different.  I will send them to you.

>Still problems?  Then you're picking up an old installed library.
>Clean it out, then things ought to work!
The new snapshot worked fine.  The benchmarks finally ran.

Thank you for the update.