try to fix travis...