Tweak Travis CI configuration.