Tweak for Travis CI