Thanks for letting us know! so that we can watch out for this.

This change allowed me to, going from zero ground, build and install Cinelerra correctly:

$ diff cinelerra-5.1/configure.ac*
416c416
<   [ usr/local/lib*/x86_64-linux-gnu/libdav1d*.a ],
---
>   [ usr/local/lib*/libdav1d*.a ],

Sorry for lack of time to make a proper patch.
Not necessary -- the time you spent diagnosing this and sending this email is much appreciated. 

Also I'm not aware if that "x86_64-linux-gnu" is present or not in all distros, so this may not solve it for other distos, but instead make a failure, if they the libdav1d*.a is not in that dir.

Yes, GG thinks you are right and it will not work on all other distros -- but it may be needed for standard Debian.   gg/Phyllis