As discussed with @dkostic in https://github.com/open-quantum-safe/liboqs/pull/1013.
As discussed with @dkostic in #1013.