Docker test build workflow is broken

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