another travis config change