Update for upcoming FFmpeg 3.5
Should still work with the older versions that currently work.
Reported by James Cowgill in https://bugs.debian.org/888334