Port gcc 4.7.1 patches into 3.5.13.1