http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51417 --- Comment #2 from Andi Kleen <andi-gcc at firstfloor dot org> 2011-12-07 18:54:57 UTC --- Hmm, you mean a copy with the version number in addition? Would be reasonable I guess.