Re: GCC debug info + optimization