https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114748
--- Comment #5 from Arsen Arsenović <arsen at gcc dot gnu.org> --- hm, that's odd, my local machine can also regenerate to Cristophes version also today.. I wonder why it did not back then.. what should we do about it?
