Fix for Travis CI-4