adjust travis config.