Add support for mips64