> since the wrong package: linux-compiler-gcc-13-x86
> is isntalled.
Thanks... so this prompted me to dig again into the problem and this
time I found a workaround which consist in installing
`gcc-13-x86-64-linux-gnu` (which I found simply via `apt-file search
/usr/bin/x86_64-linux-gnu-gcc-13`. Not sure why it didn't occur to me
to try that earlier).
Hopefully someone here has an idea how this package should be
(automatically) brought in (and replaced when upgrading to a newer
version of GCC).
Stefan
