config.gcc (mips-sgi-irix[56]*): Set use_gcc_stdint.