https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81926 --- Comment #27 from Dennis Clarke <dclarke at blastwave dot org> --- Okay .. thank you. So that should not be needed for a release version bootstrap.