Use g++-4.8 for travis ci