[This bug/behaviour was reported to me as a co-maintainer of the Debian GNU/Linux GCC packages. Please Cc: 43170@bugs.debian.org in your response so it gets archived in the Debian bugtracking system ( http://www.debian.org/Bugs/db/43/43170.html ).]