More travis-ci related changes.