Toolchain: Upgrade to GCC 13.1.0

tools/toolchain/scripts/stage0/install_gcc.sh

@@ -6,8 +6,8 @@
 [ "${BASH_SOURCE[0]}" ] && SCRIPT_NAME="${BASH_SOURCE[0]}" || SCRIPT_NAME=$0
 SCRIPT_DIR="$(cd "$(dirname "$SCRIPT_NAME")/.." && pwd -P)"
 
-gcc_ver="12.3.0"
-gcc_sha256="11275aa7bb34cd8ab101d01b341015499f8d9466342a2574ece93f954d92273b"
+gcc_ver="13.1.0"
+gcc_sha256="bacd4c614d8bd5983404585e53478d467a254249e0f1bb747c8bc6d787bd4fa2"
 
 source "${SCRIPT_DIR}"/common_vars.sh
 source "${SCRIPT_DIR}"/tool_kit.sh

tools/toolchain/scripts/stage8/install_sirius.sh

@@ -114,6 +114,10 @@ case "$with_sirius" in
       tar -xzf SIRIUS-${sirius_ver}.tar.gz
       cd SIRIUS-${sirius_ver}
 
+      # GCC 13 stopped including some common headers.
+      # https://github.com/electronic-structure/SIRIUS/issues/854
+      sed -i '1 i\#include <cstdint>' src/*.hpp
+
       rm -Rf build
       mkdir build
       cd build