security: remove duplicate safe prelude import

ober

c7c709eaef22b71170c47a1624683defeabdfdfb

diff --git a/lib/jerboa/prelude/safe.ss b/lib/jerboa/prelude/safe.ss
index 8db33d2..afff692 100644
--- a/lib/jerboa/prelude/safe.ss
+++ b/lib/jerboa/prelude/safe.ss
@@ -204,8 +204,7 @@
           sandbox-config-max-memory-size
           *sandbox-timeout* *sandbox-seccomp* *sandbox-landlock*
           *sandbox-max-memory-size* *sandbox-max-children*
-          &sandbox-error sandbox-error? sandbox-error-phase sandbox-error-detail)
-          (only (jerboa core) def))
+          &sandbox-error sandbox-error? sandbox-error-phase sandbox-error-detail))
 
   ;; =========================================================================
   ;; Re-export safe APIs under standard names