Use gcc 4.8