Re: GCC 4.5.1 and L4Re