use TheMuppets vendor

Change-Id: I564e0e1eea254d511c458ad70a2f1c56d3e96d31