Fixed the build error for riscv64 arch using gcc 13