On Qua, 2015-05-13 at 10:48 +0000, Gianfranco Costamagna wrote: > 08_no_o3_optimization.diff --> disable 03 optimization, that causes a > problem with kmk_Sed kmk_sed problem with gcc 4.7 was fixed upstream , so I think this patch can be dropped . Best regards -- Sérgio M. B.