Install GCC 4.8.1 for Travis CI