fix travis-ci setting