Tweak Travis-CI settings.