toolchain: gcc: switch default to 13