Tweak Travis scripts