Tweaks to travis config