uncaught exception error

[zzhisthebest]

When I run lake exe declaration_types Mathlib ,I got error:

"uncaught exception: Could not find native implementation of external declaration 'IO.getRandomBytes' (symbols 'l_IO_getRandomBytes___boxed' or 'l_IO_getRandomBytes'). For declarations from Init, Std, or Lean, you need to set supportInterpreter := true in the relevant lean_exe statement in your lakefile.lean."

Why?I didn't change any files.

[zzhisthebest]

Solved.Just add supportInterpreter := true to the next line of

[[lean_exe]]
name = "declaration_types"
root = "scripts.declaration_types"

in lakefile.toml.