lots of ifxmips cleanups