Tweak Travis CI scripts.