Fixed gcc issues on Linux.
Cleanup in mips/pic32 files: removed all pmax stuff.