Another fix for Travis CI integration