libdav1d.a
is generated using
libdav1d-linux-x64.sh