Chinese air defense system uses American windows software