------- Comment #5 from tromey at gcc dot gnu dot org 2006-10-10 18:45 ------- I've checked in the fix on the trunk. Do we need this in 4.1? I assume not on the theory that now the file names won't clash... -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29205