fyi. https://bugzilla.redhat.com/bugzilla/show_bug.cgi?id=232203 Thomas patched in a new gmp.h and new gmp-mparam.h, but total forgot about the existence of alpha. :-) -of