Update to gcc-4.8.0