Use TheMuppets vendor files

Change-Id: I29f869a2f02a0cb8c134d5293a51c40e864dfce8