More TravisCI tweaks.