gcc 4.8.0 is now stable; name change