Adjust Travis CI config