http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&pr=5022&database=gcc hmm, a collegue made me aware that we had overlooked a detail - hmm, i can't seem to be able to delete the request nor comment on it. Actually there is a sentence that can be overlooked - so... it is there... but...