disable travis for tip, for now