File build_what_we_need_only.patch of Package gstreamer-plugins-bad-codecs