Tweak Travis config.