Use gcc 4.8 instead of 4.9 (it's still in development)