The source project of this merge request has been removed.
ci/latest: fix build as dockerhub image was renamed
This should've been done a year and a half ago, but I didn't look at this repo...
(and while at it, use the image with base-devel
pre-installed)