Tweaks to travis