Adding the mips16 option back in for pic32