finally fix travis-ci