On Tue, 18 May 2021, Ludovic Courtès wrote:

> Yes: these are no longer built against the full GMP.
>
> Fixed in 7046a8fff70d2b565641b97015839d86f8e3e73d.
>
> Thanks!

Awesome, thanks for the quick fix!