Another potential fix for Travis CI