yet another travis config modification