> Please go ahead. I don't know why I removed the stabs code. Probably > happened by accident. Thanks! Daniel, given that I already backported a few fixes after the 2.15 release, may I put this one on the 2.15 branch as well? -- Eric Botcazou