Add missing proprietary files