From a019a29471d0d81a87fb1fb84e417b969fad7a7e Mon Sep 17 00:00:00 2001
From: Justin Ethier <justin.ethier@gmail.com>
Date: Wed, 29 Mar 2017 00:37:13 +0000
Subject: [PATCH] Use RTLD_GLOBAL

---
 runtime.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/runtime.c b/runtime.c
index 70d8afb9..56690a9c 100644
--- a/runtime.c
+++ b/runtime.c
@@ -5633,7 +5633,7 @@ void Cyc_import_shared_object(void *data, object cont, object filename, object e
   function_type entry_pt;
   Cyc_check_str(data, filename);
   Cyc_check_str(data, entry_pt_fnc);
-  handle = dlopen(string_str(filename), RTLD_LAZY);
+  handle = dlopen(string_str(filename), RTLD_GLOBAL | RTLD_LAZY);
   if (handle == NULL) {
     //make_string(s, dlerror());
     fprintf(stderr, "%s\n", dlerror());