Add mips64el alias for mips64, from Brad Smith