Use gcc-4.8
Bump cabal version