One more tweak for Travis CI...