#3757: gmp-5 breaks buildroot