Am 14.05.2010 um 16:39 schrieb Stefano Papetti: > so you would rather suggest to switch to gcc 4.0.1? > Not really... it only seems that one has to avoid -Os with gcc-4.2 . gr~~~