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.