MIPS output is now compatible with chipKIT's gcc/as, minor bugfix

- Correct MIPS code generator so its output is compatible with chipKIT
s gcc/as
- Fix a minor compilation error