tweak travis config... again