Put the right stuff in .travis.yml (hopefully).