travis config modification