Dissing Windows leaves China without many good OS options