Fixed the build error for riscv64 using gcc 13