Summary of changes: 82a4c58... rebuild with new gmp (*) 6fabdd7... rebuild with new gmp without compat lib (*) d058c67... Update to new upstream release. Reenable the tests. (*) e375037... Backport to F16. (*) This commit already existed in another branch; no separate mail sent