Fix for GCC MIPS toolchain