Use gcc 4.8 as default
This is nice!