Summary of changes: 34e32fd... rebuild with new gmp without compat lib (*) ea6e8fa... update to recent upstream release (*) (*) This commit already existed in another branch; no separate mail sent