Is there a workaround for this bug, while waiting for gcc <4.8 to get fixed? Holding libstdc++6 back tends to break stuff.