Travis-ci fix again