On Tue, Oct 30, 2012 at 12:45 PM, Arnaud Charlet <charlet@adacore.com> wrote: > Diego, can you confirm that it's indeed seh_init.o which is failing? Yes. The error was given on seh_init.c:48 Thanks. Diego.