use g++-4.8 at travis CI