vendor:use the muppets repo for manta files