Use mips64 softfloat ABI for calling external functions, as that's what the C compiler (and stdlib) appear to use by default