Tweaks to travis config now that we're green