Use gcc-4.8 on travis for faster builds