Add missing proprietary cordon library