5th Attempt at a travis build. Use gcc 4.8.