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