diff --git a/bootstrap/idris2_app/idris2.ss b/bootstrap/idris2_app/idris2.ss
index 442c0fb16..2e740ff15 100755
--- a/bootstrap/idris2_app/idris2.ss
+++ b/bootstrap/idris2_app/idris2.ss
@@ -576,7 +576,7 @@
 (define NetworkC-45FFI-prim__idrnet_sockaddr_family (lambda (farg-0 farg-1) ((foreign-procedure "idrnet_sockaddr_family" (void*) int) farg-0)))
 (define NetworkC-45FFI-prim__idrnet_create_sockaddr (lambda (farg-0) ((foreign-procedure "idrnet_create_sockaddr" () void*) )))
 (define NetworkC-45FFI-prim__idrnet_bind (lambda (farg-0 farg-1 farg-2 farg-3 farg-4 farg-5) ((foreign-procedure "idrnet_bind" (int int int string int) int) farg-0 farg-1 farg-2 farg-3 farg-4)))
-(define NetworkC-45FFI-prim__idrnet_accept (lambda (farg-0 farg-1 farg-2) ((foreign-procedure __collect_safe "idrnet_accept" (int void*) int) farg-0 farg-1)))
+(define NetworkC-45FFI-prim__idrnet_accept (lambda (farg-0 farg-1 farg-2) ((foreign-procedure "idrnet_accept" (int void*) int) farg-0 farg-1)))
 (define u--prim__add_Integer (lambda (arg-0 arg-1) (+ arg-0 arg-1)))
 (define u--prim__sub_Integer (lambda (arg-0 arg-1) (- arg-0 arg-1)))
 (define u--prim__mul_Integer (lambda (arg-0 arg-1) (* arg-0 arg-1)))