Add libDivxDrm.so to our vendor since TheMuppets seems to be named improperly