Make the following changes in MipsAsmPrinter.cpp: