Don't try to download mingliu

It's not legal, and the copy we were downloading was corrupt anyway