Adjust travis-ci config