More TravisCI tweaking