GCC bulletproofing: __mips64 is only defined when compiling for 64-bit