Update to the 20120722 snapshot of GCC 4.8.0.
Remove ABI version numbers for all library dependencies.