https://uploads.kiwiirc.com/files/7000d1b5bd419272ce11351dad716983/pasted.txt https://uploads.kiwiirc.com/files/7b8f9145c2d5f1c7e392ade1720f3657/pasted.txt * gmp seems to have released a new version recently which could potentially break some systems that were not previously broken * However, I was not able to reproduce locally on Ubuntu Focal * This may be an issue upstream, but even if so, we might be able to work around it with more details.