let travis-ci use gcc 4.8