More tweaks to travis