update to gcc-4.8