Try to fix travis...