use gcc-4.8 in travis-ci