Tweak travis config generation