Ubuntu-24.04 GH-runner still has a buggy version of gcc 12.
Therefore we jump to gcc 13.