Fix the TCRETURNmi64 bug differently.