This should prevent issues like that in #13449 where the FFmpeg downloader was not reliably trimming to the correct length.