trying to fix failing Travis CI builds