Maybe it's better if Mandriva doesn't find a buyer