Merge branch 'vendor/GMP'