more travis config edits