Install gcc 4.8 on Travis CI