If you compile for the `x86_64-fortanix-unknown-sgx` target, the public API looks differently in that `os_entropy` is not available. This should be fixed.