Track proprietary from Mupets for now

Change-Id: Id7bed1424679b2ff716a9dd1c2bd04cd58d5e7b5