Keep only `mango' proprietary files

Change-Id: I231ff021a931b7088d9ccbecedc041a756e6b327