[ifxmips] some correction (sorry, was compiling old files)