http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53649 --- Comment #3 from Steven Fuerst <svfuerst at gmail dot com> 2012-06-13 15:46:13 UTC --- Oops sorry. The source package is 4.7.0-13, but I'm still actually using the binaries from 4.7.0-11, which was released before May 30.