gstreamer-rs/ci/install-dav1d.sh