Use the correct appraisal names in .travis.yml