More tweaks to the Travis scripts