So where does this library come from?  It would appear that earlier versions of VirtualBox used libvpx.so.5 which was part of compat-libvpx5,  there doesn't seem to be a compat-libvpx6 package