[ffmpeg] add header files suggested by @lschilli, closes #71