Well the version in debian unstable/frozen for the last month+ uses GMP3, and it passed the regression tests, and no one's reported any trouble. I'll update to the new upstream sources shortly, and send you a pointer to the mods I made. --Barak.