Try a few travis tweaks