Adjust travis-ci build