Arduino Leonardo - bug?

Can you check if the same happens with the updated avr compiler? http://arduino.cc/forum/index.php/topic,118440.0.html

In my test I usually get different hex sizes (usually lower) with winavr 2010xxxxx version