Yet another try to get Travis CI going with g++-4.8