ffmpeg.55.64bit.dylib not in Library

Audacity 3.1.3
MacBook Pro
Mojave 10.14.6

In the /Library/Application Support/audacity/libs folder, I have a long list of dylib files, but no ffmpeg… file. They all start with “lib”. For example, the first on the list is “libavcodec.55.dylib.” Is there a site from which I can simply download the FFmpeg.55.64bit.dylib file, then move it into the proper folder?

Thanks. Everett

Do the instructions on this page help?
https://manual.audacityteam.org/man/installing_ffmpeg_for_mac.html

– Bill