Matthias, this bug is going to cause all future uploads of GNAT to FTBFS, because gnat-4.6 is already the default and the buildds will install the broken gcc-4.6 and try to build gnat-4.6 with it. So, I think the solution has to be in gcc-4.6. In the past, we used to have symlinks like /usr/lib/gcc/x86_64-linux-gnu/4.6.1 -> 4.6. Do you have any objection against reintroducing these symlinks? -- Ludovic Brenta.