Tweak Travis-CI configuration.