Travis CI tweaking III