fixup misc mips64