More minor travis ci updates