machine identification for big endian mips is mips/mips64 not mipseb