MIPS/GAS: Correct file option settings with `.insn'