Update to gcc-4.8