Franz Sirl writes: > think since around mid-last-year. Somehow Debian slipped through, but I > have been in contact with Daniel Jacobowitz, and I think he will upgrade > the Debian package soon (or he already has?). Starting with Debian gcc-2.95-2.95.3-6 Daniel applied your patches.