Adjustments to Travis CI config