More changes to the Travis CI config