This patch is for the google/gcc-4_7 branch.