tweak travis setup