Gmp.h not found

[klt]

This issue will be solved with the next release 24.11:

PRs ready for review