Summary of changes: b816923... rebuild with new gmp (*) 1767544... rebuild with new gmp without compat lib (*) 164a4ae... Update to 3.5.0. (*) 8f7af6b... Backport to F16. (*) This commit already existed in another branch; no separate mail sent