travis configs tweak