adjust travis config