adjust travis-ci config