PACXX image broken
Not very important, but all our builds with the PACXX image fail, because the compiler is not succcessfully installed: https://gitlab.dune-project.org/dominic/dune-perftool/-/jobs/35993
Not very important, but all our builds with the PACXX image fail, because the compiler is not succcessfully installed: https://gitlab.dune-project.org/dominic/dune-perftool/-/jobs/35993