use g++ 4.8 for travis ci