travis config fix