Fix for launching tests on Travis CI