default/linux/mips/13.0/o32