Another fix for Travis CI