Tweak TravisCI build