Do not check for both CONFIG_VC1_DECODER and CONFIG_WMV3_DECODER,