#3826: Please temporarily koji tag-pkg dist-f12-override gcc-4.4.4-10.fc12