Tweaking travis.yml [#77500950]