Tweak Travis CI script.