Merge branch 'vendor/GMP' into gcc441