use gcc-4.8 for travis-ci bot