specify -mips32r2 flag for linux-mipsel32 configuration