Small travis-ci updates