Adjust Travis CI config (again)