GMP

With Chris' latest fix, GMP now builds and passes all of its tests!

Yay!!

-bw