New tentative fix for Travis CI