tweak travis configs