Revert "remove proprietaries for manta"

This reverts commit 93b399124d137fc302ec1c2752df76c46982813c.