Tweaks to Travis config