reopen 480397 tkoenig@gcc.gnu.org thanks If there's a problem with e-mail from my provider, maybe using my GCC account will work. Thanks Thomas