Another Travis CI change.