It is a bit confusing that the sites http://gcc.gnu.org/ and http://www.gnu.org/software/gcc/ look so much alike but they are not the same. Consider closing one of them. /Ole