Venerable dupont (alphaev56 gentoo) seems to pass mini-gmp now. Let's see if the previously consistently failing mini-gmp t-cmp_d now consistently passes; then I think we can assume this to be fixed. -- Torbjörn Please encrypt, key id 0xC8601622