The Docker does not install libgmp-dev, so the build always bails out immediately...
The Docker does not install libgmp-dev, so the build always bails out immediately...