avoid using "mips", it's a macro on some platforms