--- a/src/runtime/bsd-os.c
+++ b/src/runtime/bsd-os.c
@@ -220,7 +220,7 @@
 	if(!handle_guard_page_triggered(context,addr))
 	    interrupt_handle_now(signal, info, context);
     /* Work around G5 bug; fix courtesy gbyers */
-    sigreturn(void_context);
+    DARWIN_FIX_CONTEXT(context);
 }
 
 void