If you meant something else (e.g., a software bug named "libvpx" occurring while watching the show, or a mistranslation of a restaurant tech term), please clarify. Otherwise, the above FFmpeg instructions should point you in the right direction for encoding.