mips.py: replace -mips* with new -march=mips*