obduino 126,
iso on linux under 0011 is 14176 , elm 14770
It is a pain to upgrade arduino versions on linux so that is all I have for now.
Also chasing compiler versions can introduce a lot of unexpected behaviors. Smaller is fine but working is better