See https://github.com/openfheorg/openfhe-development/pull/633
See #633